Opening Microsoft files (winzip, word, excel, powerpoint) on this page may require you to download a special viewer. Or you can download and save the files and use your preferred office applications to view and edit them.

The Formal Specification Language Z

Introduction

Zed

Z was developed in Paris, France and Oxford, England.

(Z intro and examples): [ z-examples.html ]

Z Archive

http://www.comlab.ox.ac.uk/archive/z.html/

Also see [ http://vl.zuser.org/ ]

Spivey01

J H Spivey
The Z Notation: A Reference Manual (online)
Web 2001 [ index.html ]
=handbook formal logic Z SPECIFICATION
Earlier was [Spivey89] [Spivey92] Quote from web site
1. The Z Reference Manual has now been allowed to go out of print by the publisher, Prentice Hall, but they have kindly returned the copyright to me, so I can make the full text available here.
  Please note that I have not placed the copyright of this work in the public domain. Nevertheless, I freely grant permission to make copies of the whole work for any purpose except direct commercial gain. I retain all other rights, including but not limited to the right to make translations and derivative works, and the right to make extracts and copies of parts of the work. Fair quotation is permitted according to usual scholarly conventions.

A minor problem with the spread of Z is that it is designed as language to be written rather than as a language to be input into a computer. Thus Z users often have to learn a version of the LaTeX mathematical type-setting language. On the other hand it makes the expressions much shorter and clearer than using ASCII. There are a few resources for people who want an ASCII form of Z:

Proposed standard lexemes for ASCII/EMail: [ z.lexis.html ] and PiZA [ PiZAHome.html ]