@techreport{3743,
  title = "PARTIAL CORRECTNESS OF COMMUNICATING PROCESSES AND PROTOCOLS",
  author = "ZHOU CHAO CHEN and C. A. R. Hoare",
  year = "1981",
  institution = "OUCL",
  month = "May",
  number = "PRG20",
  pages = "27",
}