1. The nucleus of a multiprogramming system
2. Programming semantics for multiprogrammed computations
3. ‘Capability concept, mechanisms and structure in system 250’, Symp. on Protection in Operating Systems, IRIA, Rocquencourt 78150, Le Chesnay, France, August 1974, 68–82.
4. GEC 4000 series Technical Description, GEC Computers Ltd, Borehamwood, Herts, England, 1976.