kozen, Dexter C. <br/><br/>
Design and analysis of algorithms   
by Dexter C. Kozen. 
 - New York  S-V  1992 
 - x, 320p 
 - Texts and monographs in computer science .
<br/><br/><label>ISBN: </label>0387976876 
<br/><br/><label>Dewey Class. No.: </label>005.1  / N922