On Implicit Data Structures for Priority Queues.
An IKBS Implementation.
The NMFECC Cray Time-Sharing System.
Program Development by Inductive Stepwise Refinement.
Structural Dimensions of Small Programming Environments.
An Interactive Assembly Level Debugging System.
Forced Termination of Loops.
Programming Divide and Conquer for a MIMD Machine.