@article{Hoare71a,
  title = "Proof of a Program: {FIND}",
  author = "C.A.R. Hoare",
  year = "1971",
  journal = "Communications of the ACM",
  month = "January",
  number = "1",
  pages = "39--45",
  volume = "14",
}