@inbook{Butler05b,
  title      = {A Trace Semantics for Long-Running Transactions},
  ISBN       = {9783540322658},
  ISSN       = {1611-3349},
  DOI        = {10.1007/11423348_8},
  booktitle  = {Communicating Sequential Processes. The First 25 Years},
  publisher  = {Springer Berlin Heidelberg},
  author     = {Butler, Michael and Hoare, Tony and Ferreira, Carla},
  year       = {2005},
  pages      = {133–150},
}