1. Gorn, S.: Handling the growth by definition of mechanical languages. In: Spring Joint Computer Conference, Philadelphia, PA (1967) 213–224
2. Huet, G., Oppen, D. C.: Equations and rewrite rules: A survey. In: Book, R., ed., Formal Language Theory: Perspectives and Open Problems. Academic Press, New York (1980) 349–405
3. Musser, D. R., Kapur, D.: Rewrite rule theory and abstract data type analysis. In: Calmet, J., ed., Proc. of the European Computer Algebra Conference (Marseille, France), vol. 144 of Lect. Notes in Computer Sci. Springer-Verlag, Berlin (1982) 77–90
4. Jouannaud, J.-P., Lescanne, P.: Rewriting systems. Technology and Science of Informatics 6 (1987) 181–199
5. Benninghofen, B., Kemmerich, S., Richter, M. M.: Systems of Reductions, vol. 277 of Lect. Notes in Computer Sci. Springer-Verlag, Berlin (1987)