@techreport{3738,
  title = "A Theory of Communicating Sequential Processes",
  author = "C.A.R. Hoare and S.D. Brookes and A.W. Roscoe",
  year = "1981",
  institution = "OUCL",
  month = "May",
  number = "PRG16",
  pages = "48",
}