TY  - BOOK
AU  - Spivey, J.M.
TI  - Z notation: a reference manual
T2  - Prentice Hall international series in computer science
SN  - 013983768x
U1  - 0011.6424 
PY  - 1989///
CY  - New York
PB  - Prentice Hall
ER  -