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.S., Nigam, A.: Business artifacts: An approach to operational specification. IBM Systems Journal 3(42), 428–445 (2003)
3. Abdulla, P.A., Nylén, A.: Better is better than well: On efficient verification of infinite-state systems. In: LICS, pp. 132–140 (2000)
4. Lecture Notes in Business Information Processing;L. Akroun,2013
5. Lecture Notes in Computer Science;A. Muscholl,2007