Automata and computability - Kozen, Dexter C. (Newyork Springer, 1997)
Keywords: MATHEMATICS; COMPUTABLE FUNCTIONS; MACHINE THEORY