@unpublished{H??:Shifting,
  title = "Shifting the Identity of Predicate Transformers",
  author = "C. A. R. Hoare",
  note = "Handwritten letter to Hilary Priestley, undated",
}