"Kozen, Dexter C"

Theory of Computation - \\200700ENGGPCX - Springer 2007 New York - 418p.

includes index and biblioraphy