Automata and computability - Kozen, Dexter C. (NewYork : Springer, 1997)
Includes index
Keywords: MACHINE THEORY-MATHEMATICS