The Z Specification Language
Introduction
The Language
up HOME © RBJ V