@techreport{3833,
  title = "ALGEBRAIC SPECIFICATION AND PROOF OF PROPERTIES OF COMMUNICATING SEQUENTIAL PROCESSES",
  author = "C.A.R.Hoare and He, Jifeng",
  year = "1985",
  institution = "OUCL",
  month = "November",
  number = "PRG52",
  pages = "76",
}