Alin Deutsch Liying Sui Victor Vianu Specification and Verification of Data-driven Web Services. 2004 conf/pods/2004 PODS http://doi.acm.org/10.1145/1055558.1055571 http://www.acm.org/sigmod/pods/proc04/pdf/P-08.pdf db/conf/pods/pods2004.html#DeutschSV04 71-82