Spivey, J. M. (1988). Understanding Z: A specification language and its formal semantics (1. publ.). Cambridge Univ. Pr.
Chicago-Zitierstil (17. Ausg.)Spivey, J. M. Understanding Z: A Specification Language and Its Formal Semantics. 1. publ. Cambridge [u.a.]: Cambridge Univ. Pr, 1988.
MLA-Zitierstil (9. Ausg.)Spivey, J. M. Understanding Z: A Specification Language and Its Formal Semantics. 1. publ. Cambridge Univ. Pr, 1988.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.