Jacky, J. (1997). The way of Z practical programming with formal methods. Cambridge, UK: Cambridge University Press.
Chicago Style CitationJacky, Jonathan. The Way of Z Practical Programming With Formal Methods. Cambridge, UK: Cambridge University Press, 1997.
MLA CitationJacky, 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.