TY  - SOUND
AU  - Spivey, J.M
TI  - Understanding Z: a specification language and its formal semantics 
SN  - 9780521054140 (pbk.)
U1  - 005.133 
PY  - 1988///
CY  - New York
PB  - Cambridge University Press, 
KW  - Z (Computer program language)
N1  - Includes references and index.
ER  -