Willis, Claire. <br/><br/>
Abstraction and specification with modula-2 / 
Claire Willis and Derek Paddon. 
 - London :  pitman,  1992. 
 - 536 p. :  ill. 
<br/><br/><label>ISBN: </label>0273031473 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programming languages.<br/>Modula-2 (Computer program language)<br/>Software engineering.