@inbook{Butler00,
  title      = {A Process Compensation Language},
  ISBN       = {9783540409113},
  ISSN       = {0302-9743},
  DOI        = {10.1007/3-540-40911-4_5},
  booktitle  = {Integrated Formal Methods},
  publisher  = {Springer Berlin Heidelberg},
  author     = {Butler, Michael and Ferreira, Carla},
  year       = {2000},
  pages      = {61–76},
}