@unpublished{CSP Payment protocols,
  title = "CSP files for payment protocols",
  author = "Bill Roscoe and Chen Bangdao and Long Nguyen",
  year = "2011",
}