@techreport{Hoare82a,
  title = "The Consistency of the Calculus of Total Correctness for Communicating Processes",
  author = "C.A.R. Hoare and Zhou Chaochen",
  year = "1982",
  institution = "Oxford University Computing Laboratory, Programming Research Group",
  month = "February",
  number = "26",
}