Title: Rewriting Techniques and Applications
Subjects: Computer programming, Algorithms