The Z Notation. A Reference Manual (1992)

by J M Spivey