"Rewriting Techniques and Applications, 6 conf., RTA-95" - читать интересную книгу автора (Jieh Hsiang)