Kozen, Dexter C. <br/><br/>
Automata and computability 

 - New York  Springer  1997 
 - 400 
<br/><br/><label>Dewey Class. No.: </label>511.3 KOZ