An Assessment of Concurrent Pascal. - Derek Coleman; Robin M. Gallimore; Jane W. Hughes; Malcolm S. Powell (Softw. Pract. Exp., 1979)

Partial Correctness of Distributed Programs. - Derek Coleman; Robin M. Gallimore (Program Specification, 1981)

Specification of Distributed Programs. - Derek Coleman; Robin M. Gallimore (Program Specification, 1981)

KWIC-index generation. - Jørgen Steensgaard-Madsen; Jane W. Hughes; Malcolm S. Powell; Hartmut Ehrig; Hans-Jörg Kreowski; Leif Sandegaard Nielsen; Jean-Raymond Abrial; Ib Holm Sørensen; Robin M. Gallimore; Derek Coleman; Joseph A. Goguen (Program Specification, 1981)

The design of a rewrite rule interpreter from algebraic specifications. - Derek Coleman; Robin M. Gallimore; Victoria Stavridou (Softw. Eng. J., 1987)

UMIST OBJ: A Language for Executable Program Specifications. - Robin M. Gallimore; Derek Coleman; Victoria Stavridou (Comput. J., 1989)

Formal Specification and Design Time Testing. - Christopher Paul Gerrard; Derek Coleman; Robin M. Gallimore (IEEE Trans. Software Eng., 1990)