Ronald V. Book Rewriting Techniques and Applications, 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, Proceedings RTA Lecture Notes in Computer Science 488 Springer 1991 3-540-53904-2 db/conf/rta/rta91.html