Kozen, D.C <br/><br/>
Design & analysis of algorithms 
D.C. Kozen 
 - New york  Springer  1992 
 - x  320 
 - Texts & monographs in computer science .
<br/><br/><label>ISBN: </label>9780387976877