1. Séries formelles de complexité dans les types abstraits algébriques;Belhassen;Rapport de DEA,1985
2. On the power of algebraic specifications;Bergstra,1981
3. The Asspegique specification environment: motivations and design;Bidoit;Proc. 3rd Workshop on Theory and Applications of Abstract Data Types,1984
4. Complexity calculus for abstract data types;Choppy;LRI Report No. 147,1983
5. Improving abstract data type specification by appropriate choice of constructors;Choppy,1980-1983