БУРДОНОВ, И. Б.; ЕВТУШЕНКО, Н. В.; КОСАЧЕВ, А. С. Конечно-автоматные методы синтеза тестов с гарантированной полнотой для входо-выходных полуавтоматов. Электронные библиотеки, v. 26, n. 1, p. 18-34, 16 мар. 2023.