These pages look best when this and this X are about the same size: X. See these viewing tips.
By way of explanation:
Short case studies based on chapters in The Way of Z:
Portions of a large specification used to develop a real system:
Lecture notes about Z:
Brief samples showing how to display Z in HTML:
Created from these LaTeX source files with the Z2HTML translator.
Z home page with FAQ and links to publications, tools, and meetings.