TY  - BOOK
AU  - Wirsing,M.
AU  - Bergstra,J.A.
TI  - Algebraic methods: theory, tools and applications 
SN  - 3540516980
AV  - QA76.76 D47 A44
PY  - 1989///
CY  - Berlin
PB  - Springer
KW  - Computer software
KW  - Development
KW  - Congresses
KW  - Algebra
N1  - Proceedings of a workshop held on June 9-11, 1987 in Passau, Germany
ER  -