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

Relative Specification and Transformational Re-Use of Functional Programs. - Colin Runciman; Nigel Jagger (LISP Symb. Comput., 1990)