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