Математика. Диссертация Задачи синтеза и анализа перечислителей в некоторых классах конечных автоматов : диссертация ... кандидата физико-математических наук : 01.01.09, Саратов, 2000