@article{H72:Note,
  title = "{A Note on the FOR Statement}",
  author = "C.A.R. Hoare",
  year = "1972",
  journal = "BIT",
  number = "3",
  pages = "334-341",
  volume = "12",
}