@incollection{abramsky2010csp,
  title = "{From CSP to Game Semantics}",
  author = "Abramsky, S.",
  year = "2010",
  booktitle = "Reflections on the Work of C.A.R. Hoare",
  pages = "33--45",
  publisher = "Springer",
}