This web site was made by Jonathan Jacky at the University of Washington starting around 1997. It is archived here for personal and historical interest.
This page and the Z History page are new. All of the other pages at this site are at least twenty years old and have not been revised. Links to pages outside this site might not work, and will not be fixed.
These are the recommended entry points to this site:
Z notation, this page
https://jon-jacky.github.io/z/
The Way of Z, about the book
https://jon-jacky.github.io/z/z-book/
Z notation lecture notes, based on the book The Way of Z
https://jon-jacky.github.io/z/z-lectures/zlectures.html
Z notation examples, short case studies, glossary, and other references
https://jon-jacky.github.io/z/z/
Radiation therapy machine,
a large specification in Z notation used to develop a real system
https://jon-jacky.github.io/z/z/machine.html
Z2HTML Translator, translates Z notation expressed in LaTeX markup to HTML
https://jon-jacky.github.io/z/z/z2html/
Z notation history, some personal views
https://jon-jacky.github.io/z/z-history/
Revised Nov 2022