Giovanni Bernardi, Michele Bugliesi, Damiano Macedonio, Sabina Rossi. A Theory of Adaptable Contract-Based Service Composition. In Viorel Negru, Tudor Jebelean, Dana Petcu, Daniela Zaharie, editors, SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008. pages 327-334, IEEE Computer Society, 2008. [doi]