"Rewriting Techniques and Applications, 20 conf., RTA 2009" - читать интересную книгу автора (Ralf Treinen)