A New Implementation Technique for Applicative Languages.
How To Design and Implement Small Time-Sharing Systems Using Concurrent.
The UNIX/TM Programming Environment.
Debugging Techniques.
A Support System for Interactive Languages.
The NAG Library 'Machine'.