Andrew J. Gill A Novel Approach Towards Peephole Optimisations. 100-111 1991 conf/fp/1991 Functional Programming db/conf/fp/fp1991.html#Gill91