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