The Specification Language Z: Syntax and Semantics," Programming Research (1980)

by J R Abrial