Lazy rewriting on eager machinery (2000)

by Wan Fokkink, Pum Walters, Jasper Kamperman
Venue:ACM Transactions on Programming Languages and Systems