Johnson, D. Gale (David Gale), 1916-2003