KOZEN ,D.C. <br/><br/>
AUTOMATE AND COMPUTABILITY 

 - NEW YORK  Springer  2002 
 - xii+400p.,24x18Cms. 
<br/><br/><label>ISBN: </label>3-540-78105-6 
<br/><br/><label>Dewey Class. No.: </label>511.3 K75