Inproceedings (DBLP:conf/esws/KellerLS06)
Keller, U.; Lausen, H. & Stollberg, M.
On the Semantics of Functional Descriptions of Web Services.
2006, 605-619