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