I.B.Bourdonov, A.S.Kossatchev, V.V.Kuliamin. Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case. Programming and Computer Software,Vol. 30, No. 1, 2004, pp. 2-17. 16 стр. pdf, $_€_£_html