@inproceedings{Hoare74c,
  title = "Hints on Programming Language Design",
  author = "C.A.R. Hoare",
  year = "1974",
  booktitle = "State of the Art Report 20: Computer Systems Reliability",
  editor = "C.J. Bunyan",
  pages = "505--534",
  publisher = "Pergamon/Infotech",
}