@techreport{3767,
  title = "A CALCULUS OF TOTAL CORRECTNESS FOR COMMUNICATING PROCESSES",
  author = "C.A.R. Hoare",
  year = "1981",
  institution = "OUCL",
  month = "April",
  number = "PRG23",
  pages = "36",
}