Specification and verification of data-driven web services (2004)

by A Deutsch, L Sui, V Vianu
Venue:In PODS ’04