TY  - GEN
AU  - Spivey, J. M. 
TI  - Understanding Z: A Specification Language and its Formal Semantics 
T2  - Cambridge Tracts in Theoretical Computer Science series
SN  - 0521334292
U1  - 005.133 
PY  - 1988///
CY  - New York
PB  - Cambridge University Press
KW  - Computer program language
N1  - Includes index
ER  -