un langage pour le développement de spécifications algébriques modulaires. Thèse d’Etat, Université de Paris-Sud (1989)

by Pluss