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