Kozen, Dexter C. <br/><br/>
Automata and computability 
by Dexter C Kozen 
 - Berlin  Springer  1997 
 - xiii, 400p. 
<br/><br/><label>ISBN: </label>9780387949079 
<br/><br/><label>Dewey Class. No.: </label>511.3  / N975;3 (CSA)