TY  - BOOK
AU  - Van Horebeck, Ivo.
AU  - Lewi, John.
TI  - Algebraic specifications in software engineering: an introduction
SN  - 0387516263
U1  - 005.101512 
PY  - 1989///
CY  - Berlin
PB  - S-V
ER  -