Abramyan, Mikhail, AND Melnikov, Boris. " Алгоритмы преобразования конечных автоматов, соответствующих бесконечным итерационным деревьям" Современные информационные технологии и ИТ-образование [Онлайн], Том 17 Номер 1 (15 April 2021)