1. ADJ (= Goguen, J.A., Thatcher, J.W., Wagner, E.G.), 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, 1978) 80–149.
2. ADJ (= Thatcher, J.W., Wagner, E.G., Wright, J.B.), More on Advice on Structuring Compilers and Proving them Correct, Theoretical Computer Science 15, (1981) 223–249.
3. Berry, G., 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 (1979).
4. Berry, G., Some Syntactic and Categorical Constructions of Lambda-Calculus Models, Rapport INRIA 80 (1981).
5. Burstall, R.M. and Landin, P.J., Programs and their Proofs: An Algebraic Approach, Machine Intelligence 4, (Edinburgh University Press, 1969) 17–44.