1. ‘The MACE technique for real time programming in small computers’, Software World (1973).
2. Co-operating Sequential Processes (Ed. ), Academic Press, London, 1968.
3. Computer Operating Systems, Chapman and Hall, London, 1971.
4. et al., HIVE—A High Integrity Virtual Machine for Multiprocessor Systems, Singnals Research Development Establishment, Christchurch, Hants., 1972.