McNaughton, Robert Elementary Computability, formal languages and automata - New Jersey Prentice-Hall of India 1982 - xv,400p. Subjects--Index Terms: Computer science Programming languages