TY  - BOOK
AU  - Loeckx,Jacques
AU  - Ehrich,Hans-Dieter
AU  - Wolf,Markus
TI  - Specification of abstract data types
T2  - Wiley-Teubner computing
SN  - 3519021153
PY  - 1996///
CY  - Stuttgart
PB  - Teubner
KW  - Abstract data types (Computer science)
KW  - Abstrakter Datentyp
KW  - Algebraische Spezifikation
N1  - Literaturverz. S. 243 - 250
UR  - https://zbmath.org/?q=an:0868.68077
ER  -