TY  - BOOK
AU  - Van Horebeek, Ivo.
AU  - Lewi, Johan.
TI  - Algebraic specifications in software engineering
SN  - 3540516263
U1  - 005.101512 
PY  - 1989///
CY  - Berlin
PB  - Springer-Verlag
ER  -