Lazy rewriting on eager machinery (2000)

by W Fokkink, J Kamperman, P Walters
Venue:ACM Transactions on Programming Languages and Systems