@phdthesis{TheseJBR07,
   author       = "Jean-Baptiste Raclet",
   title        = "Quotient de sp\'ecifications pour la r\'eutilisation de
composants",
   school       = "Universit\'e de Rennes I",
   year         = "2007",
   note         = "(In French)",
   month        = "december",
}