Theory of Computation - Kozen, Dexter 1951- (Springer-Verlag London Limited, 2006)