Style de citation APA (7e éd.)

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

Style de citation Chicago (17e éd.)

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

Style de citation MLA (9e éd.)

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