"Rewriting Techniques and Applications, 7 conf., RTA-96" - читать интересную книгу автора (Harald Ganzinger)