His efforts in progressing the state of computer programming languages had been acknowledged by the ACM in 1984 when he received the Turing Award, along with a range of books such as Algorithms ...