TY  - BOOK
AU  -  Spivey,J.M.
TI  -  The Z notation : :  a reference manual / 
T2  -  Prentice Hall international series in computer science
SN  -  0139785299 : 
U1  -  005.1/1   20
PY  - 1992///
CY  -  New York : 
PB  -  Prentice Hall, 
KW  -  Z (Computer program language)
N1  -  Includes indexes
ER  -