@inbook{Bruni12,
  title      = {First-Order Dynamic Logic for Compensable Processes},
  ISBN       = {9783642308291},
  ISSN       = {1611-3349},
  DOI        = {10.1007/978-3-642-30829-1_8},
  booktitle  = {Coordination Models and Languages},
  publisher  = {Springer Berlin Heidelberg},
  author     = {Bruni, Roberto and Ferreira, Carla and Kersten Kauer, Anne},
  year       = {2012},
  pages      = {104–121},
}