Hai H. Wang Ahmed Saleh Terry R. Payne Nick Gibbins Formal Specification of OWL-S with Object-Z: the Static Aspect. 431-434 2007 conf/webi/2007 Web Intelligence http://dx.doi.org/10.1109/WI.2007.61 db/conf/webi/webi2007.html#WangSPG07