TY  - BOOK
AU  - Loeckx,Jacques
AU  - Ehrich,Hans-Dieter
AU  - Wolf,Markus
TI  - Specification of abstract data types
SN  - 047195067X (hbk.)
PY  - 1996///
CY  - Chichester
PB  - Wiley
KW  - Abstract data types (Computer science)
N1  - Includes bibliographical references (p. 243-250) and index
ER  -