Theory of Computation - Kozen, Dexter C. (Springer London, 2006)