"On the Semantics of Functional Descriptions of Web Services."

Uwe Keller, Holger Lausen, Michael Stollberg (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics