图灵奖
1967年获ACM图灵奖。图灵奖引文：