Term Rewriting and All That (Franz Baader, Tobias Nipkow)
Franz Baader, Tobias Nipkow. The book presents the mathematical foundations, central properties, and applications of rewriting systems, which serve as formal models for computation and symbolic transformation.