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