"Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings " - читать интересную книгу автора (Tobias Nipkow)