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

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

"Initial Considerations of the Use of Operators in the Manipulation of Programs" (автор J.M. Perry).

"State Transitions in Complex Software Systems" (автор D.R. Innes).

"Software with the Checks Left In".

"Library Program Documentation" (автор K.A. Redish).

"Multi-machine Software Management - the NAG Approach".

"Protection and Synchronization in Actor Systems".

"Use of the Connectivity Matrix for Software Network Representation" (авторы R.F. Hoffman и K.W. Krause).

"The Issue of Secure Computer Systems and Reliable Software" (авторы F.M. Stepczyk и R.C. White).

"The Dynamic Verification of Assertions: A Proposal".

"The correctness of synchronizing mechanism in a system of concurrent processes" (авторы T. Kasami и др.).

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

"An Approach to Compiler Correctness" (авторы L.M. Chirica и D.F. Martin).

"A Practical Approach for Generating Inductive Assertions" (автор 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".