Transformation in a Non-Strict Language: An Approach to Instantiation. - Colin Runciman; Mike Firth; Nigel Jagger (Functional Programming, 1989)

Formalised development of software by machine assisted transformation. - Colin Runciman; Mike Firth (Formal Methods in Software Development, 1990)

An Incremental, Exploratory and Transformational Environment for the Lazy Functional Programming. - Colin Runciman; Ian Toyn; Mike Firth (J. Funct. Program., 1993)