Alagic, Suad, <br/><br/>
Design of well-structured and correct programs 
Suad Alagic and Michael A Arbib 
 - New York  Springer-Verlag  1978 
 - x,292p 
<br/><br/> Loaded from JNU old catalog 
<br/><br/><label>ISBN: </label>1561