A new oral history interview with Ken Thompson