Robert Maurice Miller (1921-2016)