@techreport{occamdenotational,
  title = "{Denotational semantics for occam II}",
  author = "A. W. Roscoe and M.H. Goldsmith and B.G.O. Scott",
  year = "1993",
  institution = "{Oxford University Computing Laboratory}",
  number = "PRG-108",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/47.pdf",
}