Understanding Z : a specification language and its formal semantics - Spivey, J. M. (Cambridge Cambridge University Press, 1988)
Keywords: Z (Computer Program Language); Programming Language (Electronic Computers) -- Semantics