И.Б.Бурдонов, А.С. Косачев. Построение прямого и обратного остовов автоматами на графе. Труды Института системного программирования РАН Том 26-6. 2014 г., стр. 57-62. 6 стр. doc, pdf