@inproceedings{Hoare85l,
  title = "Specification of a Simplified Network Service in {CSP}",
  author = "C.A.R. Hoare and C. Morgan",
  year = "1985",
  booktitle = "LNCS 207 --- The Analysis of Concurrent Systems, Cambridge, September 1983, Proceedings",
  editor = "B.T. Denvir and W.T. Harwood and M.I. Jackson",
  note = "There are a number of other contributions by Hoare to the discussions recorded in this volume.",
  pages = "345--353",
  publisher = "Springer-Verlag",
}