DONALD ERVIN KNUTH