R. M. Pollock, W. L. McCoy: Software Engineering in the Development of the TRIDENT Fire Control System. ICSE 1976: 363-369