Formal Specification of an Access Control System.
Interactive Programs in a Functional Language: A Functional Implementation of an Editor.
Fixing some Space Leaks with a Garbage Collector.
The Implementation and Use of Toolpack/1 on a Graphics Workstation.
An Object-oriented Approach to Application Generation.
A Debugger for a Graphical Workstation.