@article{Ros127,
  title = "CSP is expressive enough for pi",
  author = "A.W. Roscoe",
  year = "2010",
  booktitle = "to appear in Reflections on the work of C.A.R. Hoare",
  editor = "C.B. Jones, A.W. Roscoe and K.R. Wood",
  publisher = "Springer",
}