@article{occamsemantic,
  title = "{A semantic model for occam II}",
  author = "A. W. Roscoe and M.H. Goldsmith and B.G.O. Scott",
  year = "1991",
  journal = "Proceedings of Transputing",
  volume = "93",
}