1. Birkhoff, G., ‘On the Structure of Abstract Algebra', Proc. Cambridge Phil. Soc., Vol. 31, 433–454, (1935)
2. Burris, S. and Sankappanavar, H.P., ‘A Course in Universal Algebra', Springer-Verlag, (1981)
3. Fages, F., ‘Associative-Commutative Unification', in Proc. of 7th CADE (ed. R.E.Shostak). Springer-Verlag, LNCS 170, 194–208, (1984)
4. Fages, F. and Huet, G., ‘Unification and Matching in Equational Theories', Proc. of CAAP'83 (ed. G. Ausiello and M. Protasi), Springer-Verlag, LNCS 159, 205–220, (1983)
5. Goguen, J. A., Thatcher, J.W. and Wagner, E. G., ‘An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types', in ‘Current Trends in Programming Methodology, Vol.4, Data Structuring’ (ed. R. T. Yeh), Prentice Hall, (1978)