Enhanced Specifications for Web Service Composition. - Vassiliki Alevizou; Dimitris Plexousakis (ECOWS, 2006)