TY  - BOOK
AU  - Breu, Ruth
TI  - Algebraic Specification Techniques in Object Oriented Programming Environments
T2  - Lecture notes in computer science
U1  - 005.117 
CY  - Berlin
PB  - Springer
ER  -