@unpublished{H76:Notation,
  title = "A Notation for the Specification of Computer Programs",
  author = "C. A. R. Hoare",
  year = "1976",
  month = "oct",
  note = "Handwritten manuscript",
}