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