@INPROCEEDINGS{Helouet98a,
  author = {Hélou\"{e}t, LoÏc and Jard, Claude and Caillaud, Benoit},
  title = {Une notion effective d'équivalence pour des familles de scenarios
	représentées par des {HMSC}},
  booktitle = {Approches Formelles dans l'Assistance au Développement de Logiciel,
	Afadl'98},
  year = {1998},
  address = {Poitiers, France},
  month = {sep}
}