LaTeX-Style: z-eves.sty definiert LaTeX-Befehle für alle Z-Konstrukte (muß nur im selben Verzeichnis wie die das .tex-File liegen).
Template: Die Beispiel-Datei z-template.tex ist das Muster einer (fast) leeren LaTeX-Datei. Zum Erzeugen einer PDF-Datei muß diese Datei im selben Verzeichnis wie z-eves.sty liegen. Danach genügt der Befehl pdflatex z-template.tex.
Anleitung: Gibt einen Überblick über die LaTeX-Befehle zum setzen von Z-Spezifikationen. Gibt es als LaTeX-Source und als fertiges PDF.
Emacs-Mode: z-eves.el hilft beim Emacs-Editieren von Z-LaTeX-Files, die als Input für viele Tools dienen.
Z Reference Manual: Es gibt eine lokale Kopie der offiziellen Version des Referenz-Handbuchs von Mike Spivey.
Glossary of Z notation: Kurz-Glossar, das die wichtigsten Z-Konstrukte auflistet.
Consensus Working Draft: Die Version 2.7 des Consensus Working Drafts der Z Syntax und Semantik. Besonders interessant: Im Annex A (ab Seite 78) wird beschrieben, wie man Z als LaTeX oder reines ASCII eingibt.
WWW Virtual Library--The Z Notation: Ausführliche Material-Sammlung rund um Z.
FAQ: Frequently Asked Questions über Z.
Homepage: Die Jaza-Homepage bietet die Implementierung, Dokumentation und weiter Information.
Installation: Entweder, man verwendet die
vorinstallierte Version im CIP-Pool (Aufruf
jaza) oder man installiert die Binär-Version
für Linux bzw. kompiliert/interpretiert den
Haskell-Source-Code auf anderen Plattformen (wie auf der Jaza-Homepage
beschrieben). Bei Fragen bitte E-Mail an Axel
Rauschmayer.
Jaza-User-Manual: Teil der Jaza-Distribution, die als kurzes und praktisches Tutorial erklärt, wie Jaza einzusetzen ist.