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 / 
Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (eds.). 
 - Berlin ;  New York :  Springer,  2009. 
 - vi, 339 p. :  ill. ;  24 cm. 
 - Lecture notes in computer science,  5569  0302-9743 ; Tutorial .