И.Б. Бурдонов, А.С. Косачев Исследование графа автоматом. Программная инженерия. т.7, №11, 2016 , стр. 498-508. 11 стр.