TY  - BOOK
AU  - Spivey, J.m.,
TI  - The z notation: A reference manual 
T2  - Prentice-Hall International series in computer science
SN  - 013983768x
AV  - QA76.73Z2 S75
PY  - 1989///
CY  - New York
PB  - Prentice Hall
KW  - Z (Lenguaje de programación para computadora)
ER  -