Language recognition by marking automata. Information and Control 20:313–330 (1972)

by Robert W Ritchie, Frederick N Springsteel