Donald Knuth — Family