@PHDTHESIS{oriat1996, url = " http://www.theses.fr/1996INPG0022", title = "Étude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes", author = "Oriat, Catherine", year = "1996", pages = "1 vol. (222 p.)", note = "Thèse de doctorat dirigée par Bert, Didier Informatique Grenoble INPG 1996", note = "1996INPG0022", }