@article{backes06compositional,
  author       = {Backes, Michael and Datta, Anupam and Derek, Ante and Mitchell, John C. and Turuani, Mathieu},
  title        = {Compositional Analysis of Contract Signing Protocols},
  journal      = {Theoretical Computer Science},
  volume       = {367},
  number       = {1-2},
  year         = {2006},
  pages        = {33-56}
}