S. Rao Kosaraju 1-Way Stack Automaton with Jumps. 164-176 1974 9 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss9.html#Kosaraju74