TY  - BOOK
AU  - Horebeek,Ivo van
AU  - Lewi,Johan
TI  - Algebraic specifications in software engineering: an introduction 
SN  - 0387516263
AV  - QA76.758 .H67 1989
PY  - 1989///
CY  - New York
PB  - Springer-Verlag
KW  - Software engineering
ER  -