APA (7th ed.) Citation

Spivey, J. M., & Abrial, J. R. (1989). The Z notation: A reference manual. Prentice Hall.

Chicago Style (17th ed.) Citation

Spivey, J. M., and J. R. Abrial. The Z Notation: A Reference Manual. Englewood Cliffs, N.J.: Prentice Hall, 1989.

MLA (8th ed.) Citation

Spivey, J. M., and J. R. Abrial. The Z Notation: A Reference Manual. Prentice Hall, 1989.