@phdthesis{AMathematicalTheory,
  author = "A. W. Roscoe",
  note = "Please note this is a 270 page, 118 Mb scanned file and will take some time to download.",
  school = "Oxford University",
  title = "A mathematical theory of communicating processes",
  type = "D. Phil. thesis",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/2.pdf",
  year = "1982",
}