@unpublished{H??:Outline,
  title = "Outline of Proposed Work",
  author = "C. A. R. Hoare",
  note = "Typed manuscript---perhaps for the application for the SRC Advanced Fellowship? While at Belfast",
}