@inproceedings{DenotationalSemanticsOccam,
  title = "Denotational semantics for occam",
  author = "A. W. Roscoe",
  year = "1985",
  booktitle = "Proceedings of the {Pittsburgh} seminar on concurrency",
  number = "197",
  pages = "306--329",
  publisher = "Springer",
  series = "LNCS",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/10.pdf",
}