"Rewriting Techniques and Applications, 5 conf., RTA-93" - читать интересную книгу автора (Claude Kirchner)