Terry Flaherty A differentiation primitive for extended &lgr;-calculus. 9-16 1988 conf/acm/1988 ACM Conference on Computer Science http://doi.acm.org/10.1145/322609.322611 db/conf/acm/csc1988.html#Flaherty88