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