"FORTRAN source and load libraries under IBM 360/70 OS".

"Maintenance of the Computer Sciences Teleprocessing System".

"Validation of an Interchangeable Computer Program Package: a Case History".

"Reliability Experience with Chi/OS".

"Iterative Enhancement: A Practical Approach to Top-down Software Development".

"Success is not Beyond our Control".

"Joint Program/Proof Refinement of Some Marking Algorithms: a Study of Proof and Structuring Styles".

"The Relationship between Structured Programs and Structured Recursive Programs".

"Human Factors Approaches to Language Design".