Παραπομπή σε μορφή APA (7η εκδ.)

Spivey, J. M. (1988). Understanding Z: A specification language and its formal semantics. Cambridge University Press.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Spivey, J. M. Understanding Z: A Specification Language and Its Formal Semantics. Cambridge [Cambridgeshire] : New York: Cambridge University Press, 1988.

Παραπομπή σε μορφή MLA (9th εκδ.)

Spivey, J. M. Understanding Z: A Specification Language and Its Formal Semantics. Cambridge University Press, 1988.