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