@inproceedings{SIGMOD-2005-DeutschMSVZ,
	author        = "Alin Deutsch and Monica Marcus and Liying Sui and Victor Vianu and Dayou Zhou",
	booktitle     = "{Proceedings of the 23rd ACM SIGMOD International Conference on Management of Data}",
	doi           = "10.1145/1066157.1066219",
	isbn          = "1-59593-060-4",
	pages         = "539--550",
	publisher     = "{ACM}",
	title         = "{A Verifier for Interactive, Data-Driven Web Applications}",
	year          = 2005,
}