TY  - BOOK
AU  - Feijs, L M G.
AU  - Jonkers, H B M.
TI  - Formal Specification and Design
SN  - 0 521 43457 2
CY  - Cambridge
KW  - Algebraic specifications
KW  - State-based specifications
ER  -