@book{Ros132,
  title = "Reflections on the work of C.A.R. Hoare",
  author = "C.B. Jones, A.W. Roscoe and K.R. Wood (editors)",
  year = "2010",
  publisher = "Springer",
  series = "History of computing",
}