Standard for Z Notation
International Z Notation standardization effort finished in 2002 and yielded The ISO/IEC Z Standard. Brief description, links to ISO, panel members, meeting minutes, FAQ, committee drafts.