Spivey, J. (1989). Understanding Z: A specification language and its fromal semantics ([1st repr.].). Cambridge University Press.
Cita Chicago Style (17a ed.)Spivey, J.M. Understanding Z: A Specification Language and Its Fromal Semantics. [1st repr.]. Cambridge, United Kingdom: Cambridge University Press, 1989.
Cita MLA (9a ed.)Spivey, J.M. Understanding Z: A Specification Language and Its Fromal Semantics. [1st repr.]. Cambridge University Press, 1989.
Precaución: Estas citas no son 100% exactas.