Alin Deutsch Liying Sui Victor Vianu Specification and verification of data-driven Web applications. 442-474 2007 73 J. Comput. Syst. Sci. 3 http://dx.doi.org/10.1016/j.jcss.2006.10.006 db/journals/jcss/jcss73.html#DeutschSV07