TY  - BOOK
AU  - Spivey,J.M.
TI  - Understanding Z: A specification language and its formal semantics 
SN  - 0-521-33429-2
PY  - 1988///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Computer program languages
KW  - Z (Computer program language)
N1  - Includes index
ER  -