Kozen, Dexter C <br/><br/>
Automata and computability 
by Dexter C Kozen 
 - New York  Springer  1997 
 - xiii, 400p 
 - Undergraduate texts in computer science   .
<br/><br/><label>ISBN: </label>0387949070 
<br/><br/><label>Dewey Class. No.: </label>511.3  / N975;2