MCOBOL - A Prototype Macro Facility for Cobol.
Notation as a Tool of Thought.
The Computer Language Mathsy and Applications to Solid State Physics.
Easing Fault Location in Large Systems.
Self-Assessment Procedure VII: A Self-Assessment Precedure Dealing with Software Science.