@unpublished{H95:Some,
  title = "Some Properties of the Relative Converse",
  author = "C. A. R. Hoare",
  year = "1995",
  month = "mar",
  note = "Handwritten manuscript",
}