Kozen, Dexter C <br/><br/>
Design and analysis of algorithms 

 - New York  Springer-Verlag  1992 
 - x, 320 p. 
<br/><br/><label>Dewey Class. No.: </label>005.1 K849D