Kozen, C. Dexter <br/><br/>
Automata and Computability 
Kozen, C. Dexter 
 - New York  Springer  1997 
 - 400  Illustration,index,reference & graph 
<br/><br/><label>ISBN: </label>9780387949079 
<br/><br/><label>Dewey Class. No.: </label>511.35  / K8497