Jonathan Jacky. (1997). The way of z practical programming with formal methods. Cambridge University Press.
Dyfyniad Arddull ChicagoJonathan Jacky. The Way of Z Practical Programming with Formal Methods. Cambridge University Press, 1997.
Dyfyniad MLAJonathan Jacky. The Way of Z Practical Programming with Formal Methods. Cambridge University Press, 1997.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.