TY  - BOOK
AU  - Spivey J M
TI  - Understanding Z: A specification language and its formal semantics
T2  - Cambridge Tracts in Theoretical Computer Science; 3
U1  - D65,8(B)92Z, M8 
PY  - 1988///
CY  - Cambridge
PB  - CUP         
KW  -  Computer programming language
KW  - Computer science
ER  -