Theory of computation - Kozen, Dexter C. (Texts in computer science, 2006)