The Z notation: A reference manual (1992)

by J M Spivey