Donald Knuth, Priestley Award, 1981