@TECHREPORT{GibsonCansellMermetMery98,
  author = {Gibson, {J. Paul} and Cansell, Dominique and Mermet, Bruno and M{\'e}ry,
	Dominique},
  title = {Spécification de services dans une logique temporelle compositionnelle:
	Rapport de fin du lot1 du marché},
  institution = {Centre de Recherche en Informatique de Nancy ({CRIN})},
  year = {1998},
  number = {{no961B 1B CNET-CNRS-CRIN}}
}