Stephen Arthur Cook 1982 ACM Turing Award Recipient. (Communications of the ACM, 1983)