@PHDTHESIS{coutu2000,
url = "
		http://www.theses.fr/2000NAN10001",
title = "Utilisation des méthodes formelles pour le développement de programmes parallèles",
author = "Couturier, Raphaël",
year = "2000",
pages = "1 vol.(140 p.)",
note = "Thèse de doctorat dirigée par Méry, Dominique Informatique Nancy 1 2000",
note = "2000NAN10001",
}