1. Goguen J., Thatcher J., Wagner E.: “An initial algebra approach to the specification, correctness, and implementation of abstract data types”, Current Trends in Programming Methodology, Vol.4, Yeh Ed. Prentice Hall, 1978. Also: IBM Report RC 6487, Oct. 1976.
2. Ehrig H., Kreowski H., Thatcher J., Wagner J., Wright J.: “Parameterized data types in algebraic specification languages”, Proc. 7th ICALP, July 1980.
3. Bernot G., Bidoit M., Choppy C.: “Abstract implementations and correctness proofs”, Proc. 3rd STACS, January 1986, Springer-Verlag LNCS 210, January 1986. Also: LRI Report 250, Orsay, Dec. 1985.
4. G. Bernot, M. Bidoit, C. Choppy: “Abstract data types with exception handling: an initial approach based on a distinction between exceptions and errors”, Theoretical Computer Science, Vol. 46, no 1, p. 13–45, November 1986.
5. Bernot G.: “Une sémantique algébrique pour une spécification différenciée des exceptions et des erreurs: application à l'implémentation et aux primitives de structuration des spécifications formelles”, Thèse de troisième cycle, LRI, Université de Paris-Sud, Orsay, Février 1986.