McNaughton, Robert Elementary computability, formal languages, and automata / Robert McNaughton - Englewood Cliffs, N. J. Prentice-Hall, 1982 - 400 p. : ill. ; 24 cm. ISBN: 0132535009 Subjects--Topical Terms: Computable functionsFormal languagesSequential machine theory