Syntax and lexis of the specification language Z /
Sennett, C. T.
Malvern : Royal Signals and Radar Establishment,
1990.
Z (Computer program language)