@PHDTHESIS{colle1997,
url = "
		http://www.theses.fr/1997NICE5130",
title = "Un modele fonde sur les assertions pour le genie logiciel et les bases de donnees : application au langage oqual, une extension d'eiffel",
author = "Collet, Philippe",
year = "1997",
pages = "250 P.",
note = "Thèse de doctorat dirigée par Rousseau, Roger Sciences appliquées Nice 1997",
note = "1997NICE5130",
}