Hoare's inaugural lecture at Queen's University Belfast, defining computer science as the art of designing efficient and elegant methods for solving problems by computer.
Hoare's Oxford inaugural lecture, arguing that programming is a mathematical activity and that mathematical methods can ensure programs are correct and reliable.