Z (pronounced `zed') is a formal specification notation based on set theory
order predicate logic. It has been developed initially since the late 1970s at
Programming Research Group within the Oxford University Computing Laboratory
#latterly around the world. It is used by industry as part of the software
development process in Europe, USA and elsewhere. It has undergone international
#standardization in 2002.