@inproceedings{DBLP:conf/fm/Hoare99,
  title = "Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle",
  author = "C. A. R. Hoare",
  year = "1999",
  booktitle = "FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I",
  editor = "Jeannette M. Wing and Jim Woodcock and Jim Davies",
  pages = "1-27",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "1708",
  doi = "10.1007/3-540-48119-2_1",
}