TY  - BOOK
AU  - Breu Ruth
TI  - Algebraic specification techniques in object oriented programming environments
U1  - 005.117 
PY  - 1991///
CY  - Berlin
PB  - Springer Verlag
KW  - Algebra
KW  - Logic programming
ER  -