Review of type checking and scope rules of the specification language Z /
Sennett, C. T.
Malvern : Royal Signals and Radar Establishment,
1987.
Programming languages (Electronic computers)