APA-viite

Jonathan Jacky. (1997). The way of z practical programming with formal methods. Cambridge University Press.

Chicago-tyylinen lähdeviittaus

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

MLA-viite

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