Understanding Z: A specification language and its formal semantics - Spivey J M (Cambridge CUP, 1988)
Keywords: Computer programming language; Computer science