@PHDTHESIS{aitmo1996,
url = "
		http://www.theses.fr/1996NAN10091",
title = "La théorie du π-calcul dans le système HOL",
author = "Ait Mohamed, Otmane",
year = "1996",
pages = "1 vol. (146 p.)",
note = "Thèse de doctorat dirigée par Amadio, Roberto Informatiques Nancy 1 1996",
note = "1996NAN10091",
}