"Kozen, Dexter C" <br/><br/>
Theory of Computation 

 - \\200700ENGGPCX 
 - Springer  2007  New York 
 - 418p. 
<br/><br/> includes index and biblioraphy