TY  - BOOK
TI  - Algebraic methodology and software technology
PY  - 2006///
CY  - Berlin
PB  - Springer-Verlag
ER  -