Companion to the papers of Donald Knuth - Knuth, Donald Ervin, 1938- (CSLI lecture notes ;, 2011)