Miller, Jack, (John R.), 1920-2007,