[Spectrum87] IEEE Spectrum, Special Issue on the Air Traffic Control System, IEEE, New York, 1987 []