@inbook{Butler04,
  title      = {An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions},
  ISBN       = {9783540246343},
  ISSN       = {1611-3349},
  DOI        = {10.1007/978-3-540-24634-3_9},
  booktitle  = {Coordination Models and Languages},
  publisher  = {Springer Berlin Heidelberg},
  author     = {Butler, Michael and Ferreira, Carla},
  year       = {2004},
  pages      = {87–104},
}