1. [ADJ78] GOGUEN J. A., THATCHER J. W. and WAGNER E. G., An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types, Current Trends in Programming Methodology, in R. T. YEH Ed., V. 4, Prentice Hall, 1978.
2. [DER 82] (a) DERSHOWITZ N., Orderings for Term-Rewriting Systems, Theor. Comp. Sc., Vol. 17, (3), pp. 279-301;6484380525.68054
3. (b) DERSHOWITZ N., Computing with Rewrite Systems, Technical Paper Draft, Bar-Ilan University, August 1982.
4. [DRM79] DERSHOWITZ N. and MANNA Z., Proving Termination with Multiset Ordering, Communications of the A.C.M., Vol. 22, (8), 1979, pp. 465-476.5400430431.68016
5. [GOT79] GOGUEN J. A. and TARDO J. J., An Introduction to OBJ: a Language for Writing and Testing Formal Algebraic Program Specifications, Proceedings of the I.E.E.E. Conference on Specifications of Reliable Software, Cambridge, MA, 1979, pp. 170-189.