@incollection{Hoare77i,
  title = "Introduction",
  author = "C.A.R. Hoare",
  year = "1977",
  booktitle = "Software Engineering --- Proceedings of a Symposium held at the Queen's University of Belfast 1976 (A.P.I.C. Studies in Data Processing No. 14)",
  editor = "R.H. Perrott",
  pages = "7--14",
  publisher = "Academic Press",
}