"Rewriting Techniques and Applications, 1 conf., RTA-85" - читать интересную книгу автора (Jean-Pierre Jouannaud)