Alin Deutsch Liying Sui Victor Vianu Dayou Zhou Verification of communicating data-driven web services. 90-99 2006 conf/pods/2006 PODS http://doi.acm.org/10.1145/1142351.1142364 db/conf/pods/pods2006.html#DeutschSVZ06