TRSPEC: A Term Rewriting Based System for Algebraic Specifications. - Jürgen Avenhaus; Benjamin Benninghofen; Rüdiger Göbel; Klaus Madlener (CADE, 1986)

Systems of Reductions - Benjamin Benninghofen; Susanne Kemmerich; Michael M. Richter (Springer, 1987)