"Structure Trees. A Hierarchital Design Tool for Program and Data" (by T. W.-S. Plum).

"Software Errors: Types, Distribution, Test and Correction Times".

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

"Representing Functional Specifications in Cause-Effect Graphs" (by W.R. Elmendorf).

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

"Reliable Software through Reliable Interfaces" (by S.A. Kurzban).

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

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

"The Dynamic Verification of Assertions: A Proposal".

"The correctness of synchronizing mechanism in a system of concurrent processes" (by T. Kasami et al.).

"A Sufficient Condition for the Completeness and Consistency of Decision Tables".

"An Approach to Compiler Correctness" (by L.M. Chirica and D.F. Martin).

"A Practical Approach for Generating Inductive Assertions" (by M. Moriconi).

"An Interactive Program Verification System".

"Specification and Proving of Command Programs".

"Set-Theoretic Correctness Proofs".

"Finding Invariant Assertions for Proving Programs".

"Proving Structured Programs Correct, Level by Level".

"Logical Analysis of Programs".

"Program Verification by Predicate Transformation".