Automata and computability - Kozen, Dexter C
Keywords: Machine theory; Computable functions; Electronic books