Contract-based web service composition - Milanovic, Nikola 1976- (Berlin, Humboldt-Univ., Diss., 2006, 2006)