"Aesthetic Factors in Program Decomposition" (by N. Lomuto).

with the abstract of the paper "Data Structure Analysis as a Means for Reliable Real Time Systems Design".

"Reliability and Efficiency in a Kerner-Based Architecture" (by Ch. R. Spooner).

"Composite Design - a Design Technology for Reliable Software".

"Improving Software Reliability by Verifying the Software Specifications" (by D.S. Taylor and P.C. Belford).

"Computer Aided Diagram Verification" (by H.M. Stainer).

"Achieving Software Reliability Through Top-Down Implementation" (by H.T. Norton).

"A System for Software Engineering".

"Build Program Technique: Objectives, Processes, and Practices" (by J.G. Rice).

"ESPL/I, An Extended Subset of PL/I for Structured Programming" (by R.B. Carter and G.G. Kalmar).

"Metastructure: in Pursuit of Reliability in Software Development" (by W.R. Moseid and G.L. Kreglow).

"Programming-in-the-large versus Programming-in-the-small".

Covering letter to the abstract of the paper "Reliable FORTRAN Common Interface Construction and Maintenance Using Data Base Concepts" and this abstract itself.

"A Structured Cobol Algorithm" (by R.S. Heiser).

"The Decision - Table Technique As An Aid in Designing Reliable Software" (by J. Rabin).

"Suggestions for More Efficacious Decision Table Programming" (by L. Tetzlaff).

"Programm-Graphs: Implications on Programming" (by M.R. Paige).

"An Implementation Automation Approach to Reliable Software" (by S.L. Nusple).

"The Role of a "Programming System" in Constructing Reliable Software".

of papers submitted for Subject Area 9 ("Implications for Programming Languages Design").