Verification of communicating data-driven web services (2006)

by A Deutsch, L Sui, V Vianu, D Zhou
Venue:In PODS