TY  - BOOK
AU  - Bergstra J A
AU  - Feijs L M G
TI  - Algebraic methods 2 : theory,tools and applications
SN  - 3-540-53912-3
U1  - 004.0151 
PY  - 1991///
CY  - Berlin
PB  - Springer Verlag
KW  - Algebraic methods
KW  - Computer science
ER  -