Бурдонов, И. Б.; Евтушенко, Н. В.; Косачев, А. С. Конечно-автоматные методы синтеза тестов с гарантированной полнотой для входо-выходных полуавтоматов. ЭБ 2023, 26, 18-34.