@PHDTHESIS{férau1991,
url = "
		http://www.theses.fr/1991TOU30029",
title = "Etude d'une représentation des objets partagés : définition, implantation, méthodes de preuve",
author = "Féraud, Louis",
year = "1991",
note = "Thèse de doctorat dirigée par Bétourné, Claude Sciences appliquées Toulouse 3 1991",
note = "1991TOU30029",
}