A theory of software reusability
Diagrammes, Actes Volume 2. Journées d'études esquisses, logique et informatique théorique, Tome 23 (1990), pp. 67-84. 
@article{DIA_1990__23__67_0,
     author = {Gaudel, M. C. and Moineau, Th.},
     title = {A theory of software reusability},
     journal = {Diagrammes},
     pages = {67--84},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {23},
     year = {1990},
     mrnumber = {1082998},
     zbl = {0712.68066},
     language = {en},
     url = {http://www.numdam.org/item/DIA_1990__23__67_0/}
}
TY  - JOUR
AU  - Gaudel, M. C.
AU  - Moineau, Th.
TI  - A theory of software reusability
JO  - Diagrammes
PY  - 1990
SP  - 67
EP  - 84
VL  - 23
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  - http://www.numdam.org/item/DIA_1990__23__67_0/
LA  - en
ID  - DIA_1990__23__67_0
ER  - 
%0 Journal Article
%A Gaudel, M. C.
%A Moineau, Th.
%T A theory of software reusability
%J Diagrammes
%D 1990
%P 67-84
%V 23
%I Université Paris 7, Unité d'enseignement et de recherche de mathématiques
%U http://www.numdam.org/item/DIA_1990__23__67_0/
%G en
%F DIA_1990__23__67_0
Gaudel, M. C.; Moineau, Th. A theory of software reusability. Diagrammes, Actes Volume 2. Journées d'études esquisses, logique et informatique théorique, Tome 23 (1990), pp. 67-84. http://www.numdam.org/item/DIA_1990__23__67_0/

[BBC 86] G. Bernot, M. Bidoit and C. Choppy, "Abstract implementation and correctness proofs", in Proc. Srd STACS, Jan. 1986, Springer-Verlag LNCS 210, Jan. 1986. | MR | Zbl

[Ber 87] G. Bernot, "Good functors ... are those preserving philosophy!", in Proc. 2nd Summer Conference on Category Theory and Computer Science, Ed-inburgh, Sept. 1987. also LRI report No. 354, June 1987. | MR | Zbl

[Bid 89a] M. Bidoit, "Pluss, un langage pour le développement de spécifications algébriques modulaires", Thèse d'Etat, Université Paris-Sud, Mai 1989.

[Bid 89b] M. Bidoit, "The stratified loose approach : A generalization of initial and loose semantics", in Proc. 1st Int. Conf. on Algebraic Methodology and Software Technology, Iowa City, USA, May 1989.

[BW 82] M. Broy and M. Wirsing, "Partial abstract types", Acta Informatica, No. 18, 1982. | MR | Zbl

[EKMP 80] H. Ehrig, H. Kreowski, B. Mahr and P. Padawitz, "Algebraic implementation of abstract data types", Theoretical Computer Science, Oct. 1980. | Zbl

[EM 85] H. Ehrig and B. Mahr, "Fundamentals of algebraic specification", Springer Verlag, Berlin-Heidelberg-New York-Tokyo, 1985. | MR | Zbl

[FGJM 85] K. Futatsugi, J.A. Goguen, J-P. Jouannaud and J. Meseguer, "Principles of OBJ2", in proc. 12th ACM Symposium on Principles of Programming Languages, Jan. 1985.

[Gau 85] M.-C. Gaudel, "Towards structured algebraic specifications", ESPRIT'85 - Status Report, Part I, pp. 493-510, North Holland, 1986.

[GM 88] M.-C. Gaudel and Th. Moineau, "A theory of software reusability", In Proc. ESOP'88, LNCS 300, Springer Verlag, 1988.

[GH 78] J.V. Guttag and J. J. Horning, "The algebraic specification of abstract data types." Acta Informatica, No. 10, 1978. | MR | Zbl

[Pro 82] K. Proch, "ORSEC : Un Outil de Recherche de Spécifications Equivalentes par Comparaison d'exemple", Thèse de 3eme cycle, Nancy I, Dec. 1982.

[SW 82] D. Sanella and M. Wirsing, "Implementation of parametrized specifications", Report CSR-102-82, Department of Computer Science, University of Edinburgh.

[Wir 83] M. Wirsing, "Structured algebraic specifications : a kernel language", Habilitation Thesis, Technische Universität München, Sept. 1983.

[WPPDB 83] M. Wirsing, P. Pepper, H. Partsch, W. Dosch and M. Broy, "On hierarchy of abstract data types", Acta Informatica, No. 20, 1983. | MR | Zbl