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