The application of Z to the specification of air traffic control systems.
Simcox, L. N.
Malvern : Royal Signals and Radar Establishment,
1989.
Air traffic control