The Specification Language Z: Syntax and Semantics (1980)

by J R Abrial
Venue:Programming Research Group, Oxford Univ