Theory of computation - Kozen, Dexter 1951- (Barron's, 2006)