Loeckx, Jacques <br/><br/>
Specification of abstract data types / 
Jacques Loeckx, Hans-Dieter Ehrich, and Markus Wolf 
 - Chichester :  Wiley,  1996 
 - xi, 260 p. :  ill. ;  24 cm. 
<br/><br/>Includes bibliographical references (p. 243-250) and index 
<br/><br/><label>ISBN: </label>047195067X (hbk.) 3519021153 (hbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Abstract data types (Computer science)