Spivey, J. M., & Abrial, J. (1989). The Z notation: : a reference manual. Englewood Cliffs, N.J.: Prentice-Hall.
Παραπομπή Chicago StyleSpivey, J. M., and Jean-Raymond Abrial. The Z Notation: : A Reference Manual. Englewood Cliffs, N.J.: Prentice-Hall, 1989.
Παραπομπή MLASpivey, J. M., and Jean-Raymond Abrial. The Z Notation: : A Reference Manual. Englewood Cliffs, N.J.: Prentice-Hall, 1989.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.