Бурдонов, Игорь Борисович, Нина Владимировна Евтушенко, и Александр Сергеевич Косачев. 2023. «Конечно-автоматные методы синтеза тестов с гарантированной полнотой для входо-выходных полуавтоматов». Электронные библиотеки 26 (1). Kazan:18-34. https://doi.org/10.26907/1562-5419-2023-26-1-18-34.