@techreport{OperationSemanticsCSP,
  author = "A. W. Roscoe and S. D. Brookes and D. J. Walker",
  institution = "{Oxford University Computing Laboratory}",
  title = "An Operational Semantics for {CSP}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/26.ps",
  year = "1986",
}