- MASCOT - A Modular Approach to Software Construction, Operation and Test.
 RRE Technical Note No 778, October 1975 (joint authorship with K Jackson).
 
- The MASCOT Approach to Software Design and Implementation.
 Defence Fellowship Thesis, London University, November 1978.
 
- Process Synchronisation in Mascot.
 Computer Journal, 22, (4), pp 332-345, November 1979 (joint authorship with K Jackson).
 
- Act Parallel : Use Mascot.
 Computer Bulletin, II/31, pp 6-9, March 1982.
 
- Mascot Developments to Improve Software Structure and Integrity.
 AGARD Conference Proceedings No 330, pp 5.1-5.14, September 1982.
 
- The Mascot Method
 Digest for IEE Colloquium on Mascot 3, January 1986.
 
- Asynchronous Communication Systems
 European Patent Specification 8711991, May 1987
 
- Fully Asynchronous Communication.
 Digest for IEE Colloquium on Mascot in Real-Time Systems, May 1987.
 
- Asynchronous Communication Systems.
 US Patent Application No 195247, May 1988.
 
- Why the MOD developed its own system design method.
 Government Computing, 3, (5), pp 52-55, October 1988.
 
- Data Orientated Requirements Implementation Scheme (DORIS).
 Digest for IEE Colloquium on Real Time Computing : the Future with Mascot, October 1988.
 
- Four-slot fully asynchronous communication mechanism.
 Proc IEE, 137, E, (1), pp 17-30, January 1990.
 
- Data Interaction Architecture for Real-Time Embedded Multi Processors.  
 International Patent Application WO 91/16681, November 1991 (joint submission with E R Campbell).
 
- A Data Interaction Architecture (DIA) for Real Time Embedded Multi Processor Systems.
 Proceedings of the RAeS Conference on Computing Techniques in Guided Flight, April 1990.
 
- Mascot Real Time Networks in Distributed System Design.
 Digest for IEE Colloquium on Building Distributed Systems, November 1990.
 
- Integrity Aspects of Real Time Networks.
 Digest for IEE Colloquium on Mascot and Related Issues, December 1990.
 
- Correctness analysis for class of  asynchronous communication mechanisms.
 Proc IEE, 139, E, (1), pp 35-49, January 1992.
 
- Real Time Networks in Configurable Distributed Systems.
 IEE Proceedings of the International Workshop on Configurable Distributed Systems, Imperial College, London, pp 45-59, March 1992. [Summary].
 
- Dynamic Interactions in Distributed Real Time Networks.
 Digest for IEE Colloquium on Process and Information Models for Real Time System Development, April 1993.
 
- Data Interaction Architecture for Computer Based Systems Engineering.
 Proceedings of the JFIT 1994 UK IT Forum, pp 285-293, March 1994.
 
- Architecture for Computer Based Systems.
 IEEE Proceedings of the 1994 Tutorial and Workshop on Systems Engineering for Computer Based Systems, Stockholm, pp 70-82, May 1994. [Abstract].
 
- Temporal Aspects of Real-Time System Design.
 Digest for the IEE Colloquium on Methods and Techniques for Real-Time System Development, November 1994.
 
- Layered Architecture(s) : Principles and Practice in Concurrent and Distributed Systems.
 IEEE Proceedings of the Workshop on Engineering of Computer Based Systems, New Orleans, October 1996.
 
- Layered Architecture(s) : Principles and Practice in Concurrent and Distributed Systems.
 IEEE Proceedings of the International Conference and Workshop on Engineering of Computer-Based Systems, Monterey, pp 312-320, March 1997. [Abstract].
 
- Integrated Circuits for Multi-Tasking Support in Single and Multi-Processor Networks.
 International Patent Application WO 97/22926, June1997 (joint submission with E R Campbell).
 
- New algorithms for asynchronous communication.
 Proc IEE on Computers and Digital Techniques, 144, (4), pp 227-231, July 1997.
 
- Role model analysis of an asynchronous communication mechanism.
 Proc IEE on Computers and Digital Techniques, 144, (4), pp 232-240, July 1997.
 
- Multi reader and multi writer asynchronous communication mechanisms.
 Proc IEE on Computers and Digital Techniques, 144, (4), pp 241-243, July 1997.
 
- Real-Time Network Architecture.
 IEEE Proceedings of the 3rd World World Conference on Integrated Design and Technology, Berlin, July 1998.
 
- Protocols for Process Interaction : Part 1 - Rationale and Specification.
 Matra BAe Dynamics Report DR20197, December 2000.
 
- Protocols for Process Interaction : Part 2 - Application.
 Matra BAe Dynamics Report DR20198, December 2000.
 
- Protocols for Process Interaction : Part 3 - Realisation.
 Matra BAe Dynamics Report DR20199, December 2000.
 
- Protocols for process interaction.
 Proc IEE on Computers and Digital Techniques, 150, (3), pp 157-182, May 2003. [Abstract].
 
- Freshness specification for a class of asynchronous communication mechanisms.
 Proc IEE  on Computers and Digital Techniques, 151, (2), pp 110-118, March 2004.
 
- Data transmission analysis for a pair of asynchronous communication algorithms.
 Accepted for publication, Proc IEE on Computers and Digital Techniques.
 
- Role Modelling for ACM Development.
 ASL Tutorial (co-located with FM'05), Newcastle University, UK, 19th July 2005. [PowerPoint file in zip format (19.65MB)].