@article{Hoare81a,
  title = "The Emperor's Old Clothes",
  author = "C.A.R. Hoare",
  year = "1981",
  journal = "Communications of the ACM",
  month = "February",
  number = "2",
  pages = "75--83",
  volume = "24",
}