"Donald E. Knuth"