Keller, Uwe, Lausen, Holger, Stollberg, Michael: On the Semantics of Functional Descriptions of Web Services.. In: ESWC, 2006, S. 605-619