@inproceedings{PODS-2004-DeutschSV,
	author        = "Alin Deutsch and Liying Sui and Victor Vianu",
	booktitle     = "{Proceedings of the 23rd Symposium on Principles of Database Systems}",
	doi           = "10.1145/1055558.1055571",
	ee            = "http://www.acm.org/sigmod/pods/proc04/pdf/P-08.pdf",
	isbn          = "1-58113-858-X",
	pages         = "71--82",
	publisher     = "{ACM}",
	title         = "{Specification and Verification of Data-driven Web Services}",
	year          = 2004,
}