1. J.A. Goguen, J.W. Tatcher, E.G. Wagner, J.R. Wright, Initial Algebra Semantics and Continuous Algebras, Journal of ACM 24 (1), 1977, pp. 68–95.
2. G. Boudol, Computational Semantics of Term Rewriting Systems, in Algebraic Methods in Semantics, eds. M. Nivat and J. Reynolds, Cambridge University Press, 1985.
3. A. Corradini, F. Gadducci, CPO Models for Infinite Term Rewriting, draft.
4. A. Corradini, Term Rewriting, in Parallel, draft.
5. N. Dershowitz, J.P. Jouannaud, Rewrite Systems, Handbook of Theoretical Computer Science B, ed. J. van Leeuwen, North Holland, 1990, pp. 243–320.