Software Engineering in the Development of the TRIDENT Fire Control System. - R. M. Pollock; W. L. McCoy (ICSE, 1976)