Z

("zed")

Programming Research Group, Oxford University, about 1980

A specification language based on axiomatic set theory and first order predicate logic. It uses many non-ASCII symbols. Used in the IBM CICS project?

Understanding Z, J. M. Spivey, Cambridge University Press 1988.

An embedding of Z in HOL is available from ICL ProofPower-server@win.icl.co.uk