@article{Davies&Bolton2005:Singleton,
  author = "Christie Bolton and Jim Davies",
  journal = "Formal Aspects of Computing",
  number = "2",
  pages = "181-210",
  title = "A Singleton Failures Semantics for {C}ommunicating {S}equential {P}rocesses",
  volume = "18",
  year = "2006",
}