Wan Fokkink Jasper Kamperman Pum Walters Lazy rewriting on eager machinery. 45-86 2000 22 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/345099.345102 db/journals/toplas/toplas22.html#FokkinkKW00