@unpublished{H99:Theories,
  title = "Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle",
  author = "C. A. R. Hoare",
  year = "1999",
  month = "mar",
  note = "LaTeXed manuscript",
}