@inproceedings{LNCS42730385,
   editor    = {Isabel Cruz and Stefan Decker and Dean Allemang and Chris Preist and Daniel Schwabe and Peter Mika and Mike Uschold and Lora Aroyo},
   booktitle = {The Semantic Web - ISWC 2006},
   publisher = {Springer},
   series    = {LNCS},
   volume    = {4273},
   year      = {2006},
   isbn      = {3-540-49029-9},
   author    = {Freddy L\'{e}cu\'{e} and Alain L\'{e}ger},
   title     = {A Formal Model for Semantic Web Service Composition},
   pages     = {385--398}
}