Abramyan, M., & 		Melnikov, B.
(2021).
 Алгоритмы преобразования конечных автоматов,  соответствующих бесконечным итерационным деревьям.
<em>Современные информационные технологии и ИТ-образование, 17</em>(1), 13-23.
doi:10.25559/SITITO.17.202101.728