Rosen, Charles, 1927-2012