Hai H. Wang Terry R. Payne Nick Gibbins Ahmed Saleh Formal Specification of OWL-S with Object-Z: The Dynamic Aspect. 237-248 2007 conf/wise/2007 WISE http://dx.doi.org/10.1007/978-3-540-76993-4_20 db/conf/wise/wise2007.html#WangPGS07