"Reliability and portability: the influence of the programming language".

"Structured Data Representation: Proposed Modifications the Concept of Cluster".

"Data Structures for Reliable Software".

"Design of an Error Resistant Programming Language/System".

"Language and Compiler Reliability".

"Fooling the User of a Programming Language" (автор T. Plum).

"Software with the Checks Left In".

"Better man-power utilization through automatic restructuring" (автор G. de Balbine).

"A Data Structure Specification Language for Program Construction, Verification, and Documentation" (автор D.W. Hogan).

"Reliable Interactive Programs for Unreliable Users: Implications for Programming Languages and Systems" (автор A.I. Wasserman).

"On the Problem of Uniform References to Data Structures" (авторы C.M. Geschke и J.G. Mitchell).

UPL (Universal Programming Language) - A New Dimension of Software Reliability" (автор C. Muses).

"Adapting Structured Programming to Existing Systems and Languages" (автор P.G. Anderson).

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

"Architecture and HOL Design for a Microprogrammed Diagnostic Emulator" (автор McClean).

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

"Testing for Software Reliability" (авторы J.R. Brown и M. Lipow).

"The Effect of Certain Modular Design Principles on Testability" (автор N.P. Edwards).

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

"Heuristic Methodologies for Automatic Testcase Generation" и "Experience with Automatic Verification and Validation (V&V) Systems".