David (Dave) Patterson (1912-1985)/tree