TY  - BOOK
AU  - Bioit, Michel ed
TI  - Algebraic system specification and development
T2  - Lecture notes in computer science
U1  - 512 
CY  - Berlin
PB  - Springer
ER  -