Lazy rewriting on eager machinery (0)

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