图灵奖
His citation for the "(1985)" Turing Award was as follows: