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

by R W Ritchie, F N Springsteel