@inproceedings{SIGMOD-2006-DeutschSVZ,
	author        = "Alin Deutsch and Liying Sui and Victor Vianu and Dayou Zhou",
	booktitle     = "{Proceedings of the 24th ACM SIGMOD International Conference on Management of Data}",
	doi           = "10.1145/1142473.1142584",
	isbn          = "1-59593-256-9",
	pages         = "772--774",
	publisher     = "{ACM}",
	title         = "{A system for specification and verification of interactive, data-driven web applications}",
	year          = 2006,
}