@techreport{ATheory,
  author = "A. W. Roscoe and S.D. Brookes and C. A. R. Hoare",
  institution = "Oxford University Computing Laboratory",
  month = "May",
  number = "{PRG-16}",
  title = "A theory of communicating sequential processes",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/1.pdf",
  year = "1981",
}