@article{occam2-1,
  title = "Denotational semantics for occam2, Part 1",
  author = "A. W. Roscoe and M.H. Goldsmith and B.G.O. Scott",
  year = "1994",
  journal = "{Transputer Communications}",
  pages = "65--91",
  series = "2",
  volume = "1",
}