Freddy Lécué Alain Léger A Formal Model for Web Service Composition. 37-46 2006 conf/ispe/2006 ISPE CE db/conf/ispe/ispe2006.html#LecueL06