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

Central Flow Control Software Development: A Case Study of the Effectiveness of Software Engineering Techniques. - P. C. Belford; R. A. Berg; Thomas L. Hannan (ICSE, 1979)