Correspondence - John Allen - Donald E. Knuth