Kozen, Dexter C.  <br/><br/>
Theory of computation 
/ by Dexter C. Kozen 
 - london  springer  2006 
 - 418p.