Kozen, Dexter,  1951- <br/><br/>
The design and analysis of algorithms / 
Dexter C. Kozen 
 - New York :  Springer-Verlag,  1992 
 - 320 p. :  ill. ;  24 cm. 
<br/><br/><label>ISBN: </label>0387976876 
<br/><br/><label>LCCN: </label>91-038759 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer algorithms