"Kozen, Dexter C" Theory of Computation - \\200700ENGGPCX - Springer 2007 New York - 418p. includes index and biblioraphy