Jan Sparud Colin Runciman Complete and Partial Redex Trails of Functional Computations. 160-177 1997 conf/ifl/1997 Implementation of Functional Languages http://link.springer.de/link/service/series/0558/bibs/1467/14670160.htm db/conf/ifl/ifl97.html#SparudR97