Andrea Asperti <i>delta</i>o!<i>Epsilon</i> = 1 - Optimizing Optimal <i>lambda</i>-Calculus Implementations. 102-116 1995 conf/rta/1995 RTA db/conf/rta/rta95.html#Asperti95 http://dx.doi.org/10.1007/3-540-59200-8_51