Jean-Pierre Jouannaud Rewriting Techniques for Software Engineering. 30-52 1992 conf/compass/1992 COMPASS/ADT db/conf/compass/compass92.html#Jouannaud92