Spivey, J. M. (1988). Understanding Z : a specification language and its formal semantics. Cambridge Cambridgeshire ; New York, Cambridge University Press.
(1988)
Languages mentioned
Z
{1980}