1. J.C.M. Baeten, J.A. Bergstra & J.W. Klop, Priority rewrite systems, Report CS-R8407, Centre for Mathematics and Computer Science, Amsterdam 1984.
2. J.A. Bergstra & J.W. Klop, Conditional rewrite rules: confluency and termination, JCSS 32, pp. 323–362, 1986.
3. J.A.Bergstra & J.W.Klop, Algebraic specifications for parametrized data types with minimal parameter and target algebras, Proc. ICALP 1982, Springer LNCS 140, 1982.
4. J.A. Bergstra & J.W. Klop, Initial algebra specifications for parametrized data types, EIK 19, pp. 17–31, 1983.
5. H.Ehrig & B.Mahr, Fundamentals of algebraic specification 1, Springer EATCS Monographs on Theor. Comp. Sci., Springer-Verlag 1985.