REWRITING TECHNIQUES AND APPLICATIONS - O'donnell, Michael J. (Springer, 1987)