Jonathan Jacky. (1997). The way of z practical programming with formal methods. Cambridge University Press.
シカゴスタイル引用形Jonathan 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.
警告: この引用は必ずしも正確ではありません.