Robert Martinez (1932-2018)