APA Edition Citation

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

Chicago Edition Citation

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

MLA Edition Citation

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