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

 - New York :  Springer Science+Business Media,  ©1997. 
 - xiii, 400 p. :  ill. (b&w) ;  24 cm (Hardbound) 
 - Undergraduate texts in computer science ; .
<br/><br/><label>ISBN: </label>9780387949079 
<br/><br/><label>Subjects--Index Terms: </label>Machine theory 
<br/><br/><label>Dewey Class. No.: </label>511.3  / KOZ / B