McNaughton, Robert Elementary computability formal languages, and automata - Prentice-Hall, Englewood Cliffs c1982 - xvi,400 ISBN: 0-13-253500-9 Dewey Class. No.: 511 McN