@article{Hoare69a,
  title = "An Axiomatic Basis for Computer Programming",
  author = "C.A.R. Hoare",
  year = "1969",
  journal = "Communications of the ACM",
  month = "October",
  number = "10",
  pages = "576--580, 583",
  volume = "12",
}