1. Vianu, V., Deutsch, A., Sui, L.: Specification and verification of data-driven web applications. J. Comput. Syst. Sci., 442–474 (2007)
2. Caswell, N., Nigam, A.: Business artifacts: An approach to operational specification. IBM Systems Journal 3(42), 428–445 (2003)
3. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)
4. Benatallah, B., Casati, F., Toumani, F.: Representing, analysing and managing web service protocols. DKE 58(3), 327–357 (2006)
5. Berardi, D., Calvanese, D., De Giacomo, G., Hull, R., Mecella, M.: Automatic composition of transition-based semantic web services with messaging. In: VLDB, pp. 613–624 (2005)