チューリング賞
Hoare's famous Turing Award lecture was on this subject.