@unpublished{H75b:Data,
  title = "Data Reliability",
  author = "C. A. R. Hoare",
  year = "1975",
  month = "jun",
  note = "Handwritten notes for the talk ECS[53] at the conference",
}