Olaf Chitil Common Subexpressions Are Uncommon in Lazy Functional Languages. 53-71 1997 conf/ifl/1997 Implementation of Functional Languages http://link.springer.de/link/service/series/0558/bibs/1467/14670053.htm db/conf/ifl/ifl97.html#Chitil97