@PHDTHESIS{hadja1991,
url = "
		http://www.theses.fr/1991AIX24009",
title = "Formalisation des systèmes informatiques ouverts",
author = "Hadj Ali, Moussa",
year = "1991",
pages = "1 vol. (162 p.)",
note = "Thèse de doctorat dirigée par Bianco, Edmond Informatique fondamentale Aix-Marseille 2 1991",
note = "1991AIX24009",
}