Private communication (2010)

by D Knuth