Rewriting techniques and applications - Lescanne Pierre Ed. (Berlin Springer Verlag, 1987)
Keywords: Computer science