1. Bert D. La Programmation Generique. Thèse d'Etat (1979).
2. Bert D. Refinement of Generic Specifications with Algebraic Tools. IFIP 1983 (ed. R.EA.Mason).
3. Bidoit M. Une méthode de présentation des types abstraits: applications. Thèse de troisieme cycle. Orsay (1981)
4. Comon H. An anti-unification approach to decide the sufficient completeness of algebraic specification. To appear as a LIFIA report.
5. Ehrig H., Kreowsky H. & Padawitz P. Stepwise specifications and implementations of Abstract Data Types. LNCS 62 (1978) pp 205–226.