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