A Functional Programming Environment Supporting Execution, Partial Execution and Transformation. - John Darlington; Peter G. Harrison; Hessam Khoshnevisan; Lee McLoughlin; Nigel Perry; Helen Pull; Mike Reeve; Keith Sephton; Lyndon While; Sue Wright (PARLE (1), 1989)

Declarative Languages and Program Transformation for Programming Parallel Systems. - John Darlington; Mike Reeve; Sue Wright (Concurr. Pract. Exp., 1990)

Termbase Exchange (TBX). - Sue Wright (MTE@AMTA, 2018)