Parallel Object-Oriented Descriptions of Graph Reduction Machines (extended abstract). - David Bolton; Chris Hankin; Paul H. J. Kelly (PARLE (1), 1989)

Parallel object-oriented descriptions of graph reduction machines. - David Bolton; Chris Hankin; Paul H. J. Kelly (Future Gener. Comput. Syst., 1990)

An Operational Semantics for Paragon: A Design Notation for Parallel Architectures. - David Bolton (New Gener. Comput., 1991)

Paragon Specifications: Structure, Analysis and Implementation. - Paul Anderson 001; David Bolton; Paul H. J. Kelly (PARLE, 1992)

Knowledge-Based Support for Requirements Engineering. - David Bolton; Sara Jones 001; David Till; David Furber; Stewart Green (Int. J. Softw. Eng. Knowl. Eng., 1992)

Dynamic File Migration to Support Parallel Database Systems. - Julie A. McCann; N. J. Williams; Peter Osmon; David Bolton (MASCOTS, 1995)