The Z Notation. A Reference Manual, 2nd Edition (1992)

by J M Spivey