Index of Resources

ISO/IEC 13568:2002(E) (The Z standard, free, 1018KB .zip of .pdf)

Index of Defect Reports

The Z user group

Jonathan Bowen's Z page

CADiZ toolset

Community Z Tools Initiative

XML DTD for Z (made obsolete by CZT's XML Schema)

BirthdayBook.xml example (use `save link as...' to prevent interpretation)

Z toolkit sections

Drafts of the Z standard

Proposals for changes to drafts of the Z standard

Minutes of meetings of the Z Standards Panel

LaTeX macros used in preparing the Z standard

Bibtex reference to ISO Z standard

Home page of the Z standards effort