Elementary computability formal languages, and automata - McNaughton, Robert (Prentice-Hall, Englewood Cliffs, 1982)