@PHDTHESIS{nguye1993,
url = "
		http://www.theses.fr/1993CLF21487",
title = "Implémentation semi-automatique du protocole ELDA et contribution à une méthodologie de développement des protocoles d'application basée sur ESTELLE",
author = "Nguyen, Cong Tin",
year = "1993",
pages = "1 vol. (271-[54] p.)",
note = "Thèse de doctorat dirigée par Schneider, Michel Informatique Clermont-Ferrand 2 1993",
note = "1993CLF21487",
}