Keller, Uwe, Lausen, Holger and Stollberg, Michael. "On the Semantics of Functional Descriptions of Web Services.." Paper presented at the meeting of the ESWC, 2006.