"String-rewriting systems" - читать интересную книгу автора (Ronald V. Book, Friedrich Otto)