"Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings " - читать интересную книгу автора (Robert Nieuwenhuis)