@incollection{Hoare80a,
  title = "A Model for Communicating Sequential Processes",
  author = "C.A.R. Hoare",
  year = "1980",
  booktitle = "On the Construction of Programs",
  editor = "R.M. McKeag and A.M. MacNaughten",
  pages = "229-254",
  publisher = "Cambridge University Press",
}