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