String-rewriting systems - Book, Ronald V. (New York: Springer-Verlag, 1993)
includes index
Keywords: Rewriting systems (computer science)