Jonathan Jacky. (1997). The way of z practical programming with formal methods. Cambridge University Press.
Citação norma ChicagoJonathan Jacky. The Way of Z Practical Programming with Formal Methods. Cambridge University Press, 1997.
Citação norma MLAJonathan Jacky. The Way of Z Practical Programming with Formal Methods. Cambridge University Press, 1997.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.