Robbins, Frederick C., 1916-2003