TY  - BOOK
AU  - Spivey, J M.
TI  - Understanding Z: Specification Language and its Formal Semantics
SN  - 0 521 33429 2
CY  - Cambridge
ER  -