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