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

by J M Spivey