Relative Specification and Transformational Re-Use of Functional Programs.

Colin Runciman Nigel Jagger Relative Specification and Transformational Re-Use of Functional Programs. 21-37 1990 3 Lisp and Symbolic Computation 1 db/journals/lisp/lisp3.html#RuncimanJ90