"Rewriting Techniques and Applications, 13 conf., RTA 2002" - читать интересную книгу автора (Sophie Tison)