CITATION STYLE
Hoare, C. A. R. (1999). Theories of programming: Top-down and bottom-up and meeting in the middle. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1708, pp. 1–27). Springer Verlag. https://doi.org/10.1007/3-540-48119-2_1
Mendeley helps you to discover research relevant for your work.