Lazy rewriting on eager machinery - Kamperman, Jasper F.; Walters, H. R. (1994)