Specification and Verification of Data-driven Web Services (2004)

by A Deutsch, L Sui, V Vianu
Venue:In Symposium on Principles of Database Systems (PODS04