Paola Inverardi Massimo Tivoli A reuse-based approach to the correct and automatic composition of web-services. 29-33 2007 ESSPE http://doi.acm.org/10.1145/1294904.1294908 conf/sigsoft/2007esspe db/conf/sigsoft/esspe2007.html#InverardiT07