Elementary Computability, Formal Languages, and Automata - McNaughton, Robert