"Rewriting Techniques and Applications, 15 conf., RTA 2004" - читать интересную книгу автора (Vincent van Oostrom)