@unpublished{H72:Axiomatic,
  title = "An Axiomatic Definition of the Programming Language {PASCAL}",
  author = "C. A. R. Hoare",
  year = "1972",
  month = "feb",
  note = "Typed manuscript, ``very different from the published version'' ECS[37]",
}