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