Z was developed in Paris, France and Oxford, England.
(Z intro and examples):
[ z-examples.html ]
Also see [ http://vl.zuser.org/ ]
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 ]
Local: [ zstandard1.0.dvi ] [ z.part1.ps.Z ] [ z.part2.ps.Z ]
Proposed standard lexemes for ASCII/EMail: [ z.lexis.html ]
UK [ http://www.cs.ukc.ac.uk/people/staff/rej/Zedfont/latest/ ] [ zfont.zip ] [ http://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.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 ]
jonathan.bowen [ jonathan.bowen.html ]
Roger Jones, at home: rbj@campion.demon.co.uk [ rbj.htm ]
Local bibliographic items can be found by selecting: [ bib.php?search=%20Z%20 ]
My copy (USA) is [ z.FAQ.txt ]