@PHDTHESIS{pessa1999,
url = "
		http://www.theses.fr/1999PA066398",
title = "Detection statique d'exceptions non rattrapees en objective caml",
author = "Pessaux, François",
year = "1999",
pages = "240 p.",
note = "Thèse de doctorat dirigée par Queinnec, Christian Sciences et techniques communes Paris 6 1999",
note = "1999PA066398",
}