@article{Ros131,
  title = "Insight, innovation and collaboration",
  author = "C.B. Jones and A.W. Roscoe",
  year = "2010",
  booktitle = "Reflections on the work of C.A.R. Hoare",
  publisher = "Springer",
}