Paul Deforest Miller (1911-1985)