Elementary computability formal languages and automata - McNaughton, Robert (Prentice-Hall of India, 1982)