KOZEN, D.C. <br/><br/>
DESIGN AND ANALYSIS OF ALGORITHMS 

 - NEW YORK  Springer  1992 
 - x+322p.,24X16Cms. 
<br/><br/><label>ISBN: </label>0387976876 
<br/><br/><label>Dewey Class. No.: </label>621.38195 K75