@techreport{3800,
  title = "THE WEAKEST PRESPECIFICATION",
  author = "C.A.R.Hoare and He, Jifeng",
  year = "1985",
  institution = "OUCL",
  month = "June",
  number = "PRG44",
}