The top documents tagged [donald knuth surname]