Automata and computability - Kozen, Dexter C. (New York Springer-Verlag, 1997)
Includes references and index
Keywords: Automata; Computable complexity; Machine theory