1. J. Goguen, J. Thatcher, E. Wagner, Initial algebra semantics and continuous algebras, JACM 24(1), pp.69–95 (1977)
2. N. Dershowitz, Termination of rewritting, J. of Symbolic Computation, 3(1&2), pp. 69–115; 4(3), pp. 409–410 (1987).
3. N. Dershowitz, J.-P. Jouannaud, Rewriting systems, in Handbook of Theoretical Computer Science, J. van Leeuwen, ed., North-Holland, Amsterdam (to appear 1989).
4. N. Dershowitz, S. Kaplan, Rewrite, rewrite, rewrite, rewrite, rewrite, Principles of Programming Languages, pp. 250–259, Austin, TX (1989).
5. H. Ehrig, F. Parisi-Presicce, P. Boehm, C. Rieckhoff, C. Dmitrovici, and M. Große-Rhode, Algebraic data type and process specifications based on projection spaces. In Recent Trends in Data Type Specifications: Selected Papers from the Fifth Workshop on Specification of Abstract Data Types, Gullane, Scotland. Lecture Notes in Computer Science 332, Springer, pp. 23–43 (1988).