Z was developed in Paris, France and Oxford, England.
Glossary
[z.glossary.html]
Syntax
The official source is the Oxford University Archive
Z-grammar[z]
in the UK.
[z.syntax.html]
Semantics
Spivey 88
Archive
[http://www.comlab.ox.ac.uk/archive/z.html/]
Local Rattle Bags of Reseources
[ftp://www.csci.csusb.edu/cs320/z/]
Z[methods]
[zguide.tex]
[zstandard1.0.dvi]
Fonts
UK
[ftp://eagle.ukc.ac.uk/pub/rej/Zedfont/latest/]
[zfont.zip]
[ftp://ftp.ess.npl.co.uk/pub/dsg/vdmzfont/]
A true type Z and VDM font is available from the Data Security Group ftp site: [index.html] [ftp://ftp.npl.co.uk/pub/dsg/]
Finland:
Here's a file called "lib.tar.gz" which has some fonts in it.
[index.htm]
USA
Text:
[Zedfont.README]
BinHexed for Mac: [Zedfont.sea.hqx]
Windows [Zedfont.zip.uue] [windows.font.uu]
Z via Tex and HTML
zed.sty
[html-z.html]
Typing Z in LaTeX</A> (27 Nov 1995) Andy Harry at National Physical Laboratory(ach@dsg.npl.co.uk )
Tools for Z
tools[z]
[tools]
[ztools.ms]
C++ to Z
[http://www.dit.upm.es]
People
[http://www.comlab.ox.ac.uk/oucl/people/]
jonathan.bowen [jonathan.bowen.html]
Roger Jones, at home: rbj@campion.demon.co.uk [rbj.htm]
VDM vs Z
vdm[z]
[UMCS-93-8-1.html]
"Understanding the differences between {VDM} and {Z}", by I. J. Hayes and C. B. Jones and J. E. Nicholls", ACM Software Engineering News V19n3(Jul 94)pp75..81
Books and Papers
[bib.html]
Bryant 90, Dick Krause & Cozens 90, Flynn Hoverd & Brazier 90, Gravell 90, Hepworth 90, Ince 88a, Johnson & Sanders 90, Lano & Breuer 90, McDermid 89, Nicholls 90, Smith A 90, Spivey & Sufrin 90, Spivey 88, Spivey 89, Rushby & Henke 92, Woodcock & Loomes
88, Woodcock 89b
Usenet newsgroup
comp.specification.z
[news://comp.specification.z]
EMail archive
archive-server@comlab.ox.ak.uk