@incollection{Hoare78v,
  title = "Communicating Sequential Processes",
  author = "C.A.R. Hoare",
  year = "1978",
  booktitle = "Digital Systems Design. Proceedings of the Joint IBM University of Newcastle upon Tyne Seminar, 6--9 September 1977",
  editor = "B. Shaw",
  pages = "145--56",
  publisher = "Newcastle University",
}