Michael Kaminski Shlomit S. Pinter Finite Automata on Directed Graphs. 425-446 1992 44 J. Comput. Syst. Sci. 3 db/journals/jcss/jcss44.html#KaminskiP92 https://doi.org/10.1016/0022-0000(92)90012-8