Engineering data processing programs for multiple microprocessors. - Derek Coleman; Jane W. Hughes; Malcolm S. Powell (Microprocess. Microsystems, 1979)

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

Experience of Transporting and Using the SOLO Operating system. - Malcolm S. Powell (Softw. Pract. Exp., 1979)

A Reduction Specification for DTL. - Jane W. Hughes; Malcolm S. Powell (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)

A Method for the Syntax Directed Design of Multiprograms. - Derek Coleman; Jane W. Hughes; Malcolm S. Powell (IEEE Trans. Software Eng., 1981)

DTL: A Language for the Design and Implementation of Concurrent Programs as Structured Networks. - Jane W. Hughes; Malcolm S. Powell (Softw. Pract. Exp., 1983)

The Implementation of DTL. - Jane W. Hughes; Malcolm S. Powell (Softw. Pract. Exp., 1983)

Adding Programming Facilities to an Abstract Data Store. - Malcolm S. Powell (Data Types and Persistence (Appin), Informal Proceedings, 1985)

Incremental Compilation, Partial Evaluation and Persistence. - Malcolm S. Powell (POS, 1987)

Strongly Typed User Interfaces in an Abstract Data Store. - Malcolm S. Powell (Softw. Pract. Exp., 1987)

A Program Development Environment Based on Persistence and Abstract Data Types. - Malcolm S. Powell (POS, 1989)

A Modular Persistent Store. - Chris Harrison 002; Malcolm S. Powell (POS, 1990)

Transactions - Malcolm S. Powell (POS, 1992)

Type-Safe Inter-application Communication in the Feynman Persistent Environment. - P. D. Blakeman; Malcolm S. Powell (POS, 1994)