TY  - BOOK
AU  - Spivey,J.M
TI  - The Z Notation: A Reference Manual. 2Nd Ed
SN  - 0139785299
U1  - 005.131 SPI 1992 
PY  - 1992///
PB  - Prentice Hall
KW  - Z
ER  -