APA Edition Citation

Jacky, J. (1997). The Way of Z: Practical programming with formal methods.

Chicago Edition Citation

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

MLA Edition Citation

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

Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.