The top documents tagged [software patents knuth]