Abramyan, M., & 		Melnikov, B.
2021 Apr 15.  Алгоритмы преобразования конечных автоматов,  соответствующих бесконечным итерационным деревьям. Современные информационные технологии и ИТ-образование. [Онлайн] 17:1