Spivey, J. M. (2008). Understanding Z : a specification language and its formal semantics / J. M. Spivey: A specification language and its formal semantics. Cambridge University Press.
Chicago Edition CitationSpivey, J. M. Understanding Z : A Specification Language and Its Formal Semantics / J. M. Spivey: A Specification Language and Its Formal Semantics. Cambridge: Cambridge University Press, 2008.
MLA Edition CitationSpivey, J. M. Understanding Z : A Specification Language and Its Formal Semantics / J. M. Spivey: A Specification Language and Its Formal Semantics. Cambridge University Press, 2008.
Warning: These citations may not always be 100% accurate.