TY  - BOOK
AU  - Wirsing,Martin
AU  - Nivat,Maurice
ED  - International Conference on Algebraic Methodology and Software Technology
TI  - Algebraic methodology and software technology: 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings 
SN  - 354061463X
AV  - QA76.758 I5713 1996
PY  - 1996///
CY  - Berlin
PB  - Springer
KW  - Software engineering
KW  - Congresses
KW  - Abstract data types (Computer science)
ER  -