APA Citation

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

Chicago Style Citation

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

MLA Citation

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

Warning: These citations may not always be 100% accurate.