"Aesthetic Factors in Program Decomposition" (автор N. Lomuto).

с резюме статьи "Data Structure Analysis as a Means for Reliable Real Time Systems Design".

"Reliability and Efficiency in a Kerner-Based Architecture" (автор Ch. R. Spooner).

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

"Improving Software Reliability by Verifying the Software Specifications" (авторы D.S. Taylor and P.C. Belford).

"Computer Aided Diagram Verification" (автор H.M. Stainer).

"Achieving Software Reliability Through Top-Down Implementation" (автор H.T. Norton).

"A System for Software Engineering" (автор - L.M.Culpepper).

"Build Program Technique: Objectives, Processes, and Practices" (автор J.G. Rice).

"ESPL/I, An Extended Subset of PL/I for Structured Programming" (авторы R.B. Carter and G.G. Kalmar).

"Metastructure: in Pursuit of Reliability in Software Development" (авторы W.R. Moseid и G.L. Kreglow).

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

Сопроводительное письмо к резюме статьи "Reliable FORTRAN Common Interface Construction and Maintenance Using Data Base Concepts" и само это резюме.

"A Structured Cobol Algorithm" (автор R.S. Heiser).

"The Decision - Table Technique As An Aid in Designing Reliable Software" (автор J. Rabin).

"Suggestions for More Efficacious Decision Table Programming" (автор L. Tetzlaff).

"Programm-Graphs: Implications on Programming" (автор M.R. Paige).

"An Implementation Automation Approach to Reliable Software" (автор S.L. Nusple).

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

статей по тематической области № 9.