1. ADJ (= Goguen, J.A., Thatcher, J.W., Wagner, E.G., Wright, J.B.) (1976), "Rational Algebraic Theories and Fixed-Point Solutions", Proceedings 17th IEEE Symposium on Foundations of Computer Science, Houston, Texas, pp 147–158
2. ADJ (= Goguen, J.A., Thatcher, J.W., Wagner, E.G., Wright, J.B.) (1977), "Initial Algebra Semantics and Continuous Algebras", JACM 24, 1, pp 68–95
3. ADJ (= Goguen, J.A., Thatcher, J.W., Wagner, E.G.) (1978), "An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types", in "Current Trends in Programming Methodology", R.Yeh ed., Prentice-Hall
4. Benabou, J. (1968), "Structures algebraic dans les categories", Cahiers de topologie et geometrie differentiell 10, pp 1–24
5. Berry, G. (1979), "Modèles complètement adéquats et stables des lambda-calculs typés", Thèse de doctorat d'etat ès sciences mathematiques, l'université Paris VII