Willis, ClairePaddon, Derek <br/><br/>
Abstraction and specification with modula-2 

 - London:  Pitman Publishing  1992 
 - 536p.:ill.;24cm. 
<br/><br/> includes index 
<br/><br/><label>ISBN: </label>0 273 03147 3 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Modula-2 (computer program language)
<br/><br/><label>Dewey Class. No.: </label>005.133 WIL