Trích dẫn APA

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

Trích dẫn kiểu Chicago

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

Trích dẫn MLA

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

Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.