1. Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. Springer, Heidelberg (2004)
2. Baldoni, M., Baroglio, C., Martelli, A., Patti, V.: Reasoning about interaction protocols for customizing web service selection and composition. JLAP, special issue on Web Services and Formal Methods 70(1), 53–73 (2007)
3. Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Reasoning on choreographies and capability requirements. International Journal of Business Process Integration and Management 2(4) (2007) (in press)
4. Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Service selection by choreography-driven matching. In: Proc. of the 2nd ECOWS Workshop WEWST 2007, January 2008. CEUR, vol. 313, pp. 1–17 (2008)
5. Baldoni, M., Giordano, L., Martelli, A., Patti, V.: Programming Rational Agents in a Modal Action Logic. AMAI 41(2-4), 207–257 (2004)