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