@INPROCEEDINGS{Canon99,
  author = {Canon, Hubert and Jard, Claude},
  title = {Un modèle sémantique pour la validation des logiciels objets en télécom
	munication},
  booktitle = {Colloque Francophone sur l'Ingénierie des Protocoles, CFIP 99, Nanc
	y, France},
  year = {1999},
  editor = {André Schaff},
  pages = {83--98},
  month = apr,
  publisher = {Hermes}
}