@inbook{Ferreira11,
  title      = {Advanced Mechanisms for Service Combination and Transactions},
  ISBN       = {9783642204012},
  ISSN       = {1611-3349},
  DOI        = {10.1007/978-3-642-20401-2_14},
  booktitle  = {Rigorous Software Engineering for Service-Oriented Systems},
  publisher  = {Springer Berlin Heidelberg},
  author     = {Ferreira, Carla and Lanese, Ivan and Ravara, Antonio and Vieira, Hugo Torres and Zavattaro, Gianluigi},
  year       = {2011},
  pages      = {302–325},
}