Relative specification and transformational re-use of functional programs (1990)

by C Runciman, N Jagger
Venue:Lisp and Symbolic Computation