Cheikh Ba Mirian Halfeld Ferrari Alves Martin A. Musicante Composing Web Services with PEWS: A Trace-Theoretical Approach. 65-74 2006 conf/ecows/2006 ECOWS http://doi.ieeecomputersociety.org/10.1109/ECOWS.2006.12 db/conf/ecows/ecows2006.html#BaAM06