KOZEN, DEXTER C. <br/><br/>
AUTOMATA AND COMPUTABILITY 

 - NEW YORK  SPRINGER  1997 
 - XIII,400P;ILL 
<br/><br/> INCLUDES BIBLIOGRAPHICAL REFERENCES AND INDEX 
<br/><br/><label>ISBN: </label>978-1-4612-7309-7 
<br/><br/><label>Subjects--Topical Terms: </label><br/>1. MACHINE THEORY. 2. COMPUTABLE FUNCTIONS