APA引文

Jacky, J. (1997). The way of Z: Practical programming with formal methods. Cambridge University press.

Chicago Edition Citation

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

MLA引文

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

警告：這些引文格式不一定是100％准確.