"Program Illustration Systems: New Tools for Computer Program Documentation" (by R. Baecker and E. Yarwood).

"Software Reliability: Philosophical Underpinings" (by R.C. Gamill).

of papers submitted for Subject Area 22 ("Impact of Reliability on Software Quality and Costs").

"Constructing Correct and Efficient Concurrent Programs".

"Current Research into the Production of Reliable Software: Defining Program "Qality" Attributes within Various Environments" (by E.L. Schulman).

of papers submitted for Subject Area 24 ("Fault-Tolerant Software").

"A Note on Recoverability of Modular Systems" (by Ph. M. Merlin and D.J. Farber).

"Program Fall-Back Method in On-Line Real-Time Systems" (by K. Hukuoka and Y. Kubo).

"A Practical Error Recovery Structure" (by B. Lindsay).

"Structuring of Programming Systems into Scopes for Recovery and Error Isolation" (by H. Diel).

"Optimal Save-points in Computer Programs in Data Base" (by K.P. Eswaran and Tz. Lee).

"Failure Tolerancy Considerations for Present and Future Air Traffic Control Systems" (by R.M. Hill and L.L. Small).

"Distinct Software: An Approach to Reliable Computing" (by M.A. Fischler and al.).

"Speculations on Fault-Tolerant Software" (by B.R. Borgerson).

"Provably Safe Programs" (by T. Anderson).

"Fault-Tolerance and Fault-Intolerance: Two Approaches to the Design of Reliable Computers" (by A. Avizienis).

of papers submitted for Subject Area 25 ("Security and Privacy").

"Protection and Synchronization in Actor Systems".

"The Design of a Verifiable Protection System".

"A Software Synthesis Technique" (by D.E. Bell and E.L. Burke).