The Robust Implementation of Sequence-Controlled Iteration.
Dynamic Storage Allocation: Experiments Using the C Language.
Compact Coding of Syntactically Correct Source Programs.
Management of Block-structured Programs.
Implementation Techniques for Prolog Databases.
Experiences with Writing Library Software for an Attached Processor.
RCS - A System for Version Control.
A Method of Program Transformation between Variable Sharing and Message Passing.