1. 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, edited by R.T. Yeh, pp.80–149, Prentice-Hall, 1978.
2. Bidoit M., “The stratified loose approach: a generalization of initial and loose semantics”, in Recent Trends in Data Type Specification, selected papers of the 5th Workshop on Specifications of Abstract Data Types, Gullane, Ecosse, Springer-Verlag L.N.C.S. nℴ 332, pp. 1–22, Sept. 1987.
3. Bidoit M., “PLUSS, un langage pour le développement de spécifications algébriques modulaires”, thèse d'Etat, Université de Paris-Sud, Orsay, Mai 1989.
4. Broy M., opening lecture of the 6th IEEE International Worshop on Software Specification and Design, Como, Sept. 1991.
5. Bidoit M. and Biebow B., “Application de la méthode de spécification et de programmation des exceptions et des erreurs à des exemples choisis en téléphonie”, rapport final du poste 4 du marché DAII nℴ 82.35.033, Sept. 1983.