1. J.A. Goguen, J.W. Tatcher, E.G. Wagner, J.R. Wright, Initial Algebra Semantics and Continuous Algebras, JACM 24 (1), 1977, pp. 68–95.
2. A. Arnold, M. Nivat, The metric space of infinite trees. Algebraic and topological properties, Fundamenta Informatica, 4, 1980, pp. 445–476.
3. H.P. Barendregt, M.C.J.D. van Eekelen, J.R.W, Glauert, J.R. Kennaway, M.J. Plasmeijer, M.R. Sleep, Term graph reduction, in Proc. PARLE, LNCS 259, 1987, pp. 141–158.
4. A. Corradini, F. Rossi, Hyperedge Replacement Jungle Rewriting for Term Rewriting Systems and Logic Programming, to appear in Theoretical Computer Science.
5. N. Dershowitz, J.-P. Jouannaud, Rewrite Systems, Handbook of Theoretical Computer Science (ed. J. van Leeuwen), Vol. B, North Holland, 1990, pp. 243–320.