Oral history interview with Donald E. Knuth