APA (7th ed.) Citation

Jacky, J. (1997). The way of Z: Practical programming with formal methods. Cambridge University Press.

Chicago Style (17th ed.) Citation

Jacky, Jonathan. The Way of Z: Practical Programming with Formal Methods. New York: Cambridge University Press, 1997.

MLA (9th ed.) Citation

Jacky, Jonathan. The Way of Z: Practical Programming with Formal Methods. Cambridge University Press, 1997.