@techreport{H68:Axiomatic,
  title = "The Axiomatic Method",
  author = "C. A. R. Hoare",
  year = "1968",
  institution = "National Computing Centre",
  note = "Very different from the published version ECS[15] after seeing Floyd's article",
}