un langage pour le développement de specifications algébriques modulaires. These Docteur D’ETAT. Université Paris-Sud (1989)

by BIDOIT M PLUSS