Elementary computability, formal languages, and automata - Mcnaughton, Robert (Prentice-Hall, 1982)