kozen, Dexter C. <br/><br/>
Design and analysis of algorithms   
by Dexter C Kozen 
 - Newyork  S-V  1992 
 - x, 320p. 
<br/><br/><label>ISBN: </label>0387976876 
<br/><br/><label>Dewey Class. No.: </label>005.1  / N922;1