@inproceedings{DBLP:conf/birthday/Hoare99,
  title = "Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle",
  author = "C. A. R. Hoare",
  year = "1999",
  booktitle = "Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)",
  editor = "Ernst-R{\"u}diger Olderog and Bernhard Steffen",
  pages = "3-28",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "1710",
  doi = "10.1007/3-540-48092-7_1",
}