@inproceedings{Raclet08,
  author    = {Raclet, J.-B.},
  title     = {Residual for Component Specifications},
  booktitle = "Proc. of the 4th International Workshop on Formal Aspects of Component Software (FACS'07)",
  location = "Sophia-Antipolis, France",
  series   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {215},
  year      = {2008},
  pages     = {93-110},
}