String rewriting systems - Book, Ronald V.; Otto, Friedrich (New York Springer, 1993)
Keywords: Rewriting systems (Computer Science)