Barry Norton Simon Foster Andrew Hughes A Compositional Operational Semantics for OWL-S. 303-317 2005 conf/epew/2005 EPEW/WS-FM http://dx.doi.org/10.1007/11549970_22 db/conf/epew/epew2005.html#NortonFH05