Warning - the bibtex entry below may be invalid: 
Missing 'journal' field 
@article{exprcsp,
  author = "A.W. Roscoe",
  note = "Draft of October 23, 2008",
  title = "On the expressiveness of CSP",
  year = "2008",
}