M. Comerio: "Web service contracts: specification, selection and composition"; Supervisor, Reviewer: F. De Paoli, S. Dustdar, V. DŽAndrea; University of Milano-Bicocca u. E184-1, 2010; oral examination: 2010-02-03.