Specifications: A Key to Effective Software Development. - P. C. Belford; A. F. Bond; D. G. Henderson; L. S. Sellers (ICSE, 1976)