"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" (by T. Plum).

"Software with the Checks Left In".

"Better man-power utilization through automatic restructuring" (by G. de Balbine).

"A Data Structure Specification Language for Program Construction, Verification, and Documentation" (by D.W. Hogan).

"Reliable Interactive Programs for Unreliable Users: Implications for Programming Languages and Systems" (by A.I. Wasserman).

"On the Problem of Uniform References to Data Structures" (by C.M. Geschke and J.G. Mitchell).

UPL (Universal Programming Language) - A New Dimension of Software Reliability" (by C. Muses).

"Adapting Structured Programming to Existing Systems and Languages" (by P.G. Anderson).

of papers submitted for Subject Area 10 ("Implications for Hardware Design").

"Architecture and HOL Design for a Microprogrammed Diagnostic Emulator" (by McClean).

of papers submitted for Subject Area 11 ("Testing and Estimation of Software Reliability").

"Testing for Software Reliability" (by J.R. Brown and M. Lipow).

"The Effect of Certain Modular Design Principles on Testability" (by N.P. Edwards).

of papers submitted for Subject Area 12 ("Testing Tools and Techniques").

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