@PHDTHESIS{Frey2004,
url = "
		http://www.theses.fr/2004ENMP1212",
title = "Approche algébrique du typage d'un langage à la ML avec objets, sous-typage et multi-méthodes",
author = "Frey, Alexandre",
year = "2004",
pages = "1 vol. (126 p.)",
note = "Thèse de doctorat dirigée par Rémy, Didier Informatique, temps réel, robotique et automatique Paris, ENMP 2004",
note = "2004ENMP1212",
}