Turing Award
Hoare's famous Turing Award lecture was on this subject.