Бурдонов, Игорь Борисович, Нина Владимировна Евтушенко, и Александр Сергеевич Косачев. «Конечно-автоматные методы синтеза тестов с гарантированной полнотой для входо-выходных полуавтоматов». Электронные библиотеки 26, no. 1 (март 16, 2023): 18-34. просмотрено май 13, 2025. https://rdl-journal.ru/article/view/765.