Editing Z notation (section)

==Standards==
[[International Organization for Standardization|ISO]] completed a Z standardization effort in 2002. This standard<ref name = "Standard">{{cite book | title = Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics | chapter-url = http://www.iso.ch/iso/en/CatalogueDetailPage.CatalogueDetail?CSNUMBER=21573 | chapter = ISO/IEC 13568:2002 | date = 2002-07-01 | publisher = ISO | url = http://standards.iso.org/ittf/PubliclyAvailableStandards/c021573_ISO_IEC_13568_2002(E).zip | format = [[Zip (file format)|Zip]]ped [[PDF]]}}  196 pp.</ref> and a technical corrigendum<ref name = "Corrigendum">{{cite book | title = Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics — Technical corrigendum 1 | url = http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=46112 | chapter = ISO/IEC 13568:2002/Cor.1:2007 | publisher = ISO | date = 2007-07-15 | format = PDF}}  12 pp.</ref> are available from ISO free:
* the standard is publicly available<ref name = "Standard" /> from the ISO ITTF site free of charge and, separately, available for purchase<ref name = "Standard" /> from the ISO site;
* the technical corrigendum is available<ref name = "Corrigendum" /> from the ISO site free of charge.