Understanding Z: A specification language and its formal semantics (1988)

by J M Spivey