"Rewriting Techniques and Applications, 12 conf., RTA 2001" - читать интересную книгу автора (Aart Middeldorp)