Alin Deutsch Liying Sui Victor Vianu Dayou Zhou A system for specification and verification of interactive, data-driven web applications. 772-774 2006 conf/sigmod/2006 SIGMOD Conference http://doi.acm.org/10.1145/1142473.1142584 db/conf/sigmod/sigmod2006.html#DeutschSVZ06