Automata and computability - Kozen, Dexter 1951- (New York Springer, 1997)
Keywords: Computable functions; Machine theory