Michael Francis Oliver, CBE, FRSE