Jonathan Jacky. (1997). The way of z practical programming with formal methods. Cambridge University Press.
Chicago Edition CitationJonathan Jacky. The Way of Z Practical Programming with Formal Methods. Cambridge University Press, 1997.
MLA引文Jonathan Jacky. The Way of Z Practical Programming with Formal Methods. Cambridge University Press, 1997.
警告：這些引文格式不一定是100％准確.