@Proceedings{	  BernardoPadovaniZavattaro09,
  editor	= {Marco Bernardo and Luca Padovani and Gianluigi Zavattaro},
  title		= {{Formal Methods for Web Services, International School on
		  Formal Methods for the Design of Computer, Communication
		  and Software Systems (SFM'09), Advanced Lectures}},
  year		= {2009},
  series	= {LNCS},
  volume	= {5569},
  isbn		= {978-3-642-01917-3},
  publisher	= {Springer},
  doi		= {10.1007/978-3-642-01918-0}
}