@article{guess,
  title = "CSP files",
  author = "A.W. Roscoe, Toby Smyth and Long Nguyen",
  year = "2011",
}