- Marco Bernardo, Luca Padovani, Gianluigi Zavattaro, editors, Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures. Volume 5569 of Lecture Notes in Computer Science, Springer, 2009.