I. Burdonov, A.Kossatchev, V.Kuliamin. Parallel calculations by automata on direct and back spanning trees of a graph. French-Russian Seminar on Software Verification, Testing, and Quality Estimation, Paris, France, November 24-25, 2014. http://www-public.tem-tsp.eu/~maag/SemFRRU2014/index.html см. Труды Института системного программирования РАН Том 26-6. 2014 г., стр. 63-66. 4 стр. doc, pdf, pdf_1, ppt