Marco Luca Sbodio Claude Moulin Denotation of Semantic Web Services Operations through OWL-S. 2006 SemWS http://ceur-ws.org/Vol-316/Paper-3.pdf conf/ecows/2006semws db/conf/ecows/semws2006.html#SbodioM06