Formalizing copyright for the internet of services. - Christian Baumann; Christian Loës (iiWAS, 2010)