Alin Deutsch Monica Marcus Liying Sui Victor Vianu Dayou Zhou A Verifier for Interactive, Data-Driven Web Applications. 539-550 2005 conf/sigmod/2005 SIGMOD Conference http://doi.acm.org/10.1145/1066157.1066219 db/conf/sigmod/sigmod2005.html#DeutschMSVZ05