Oscar Miller (1925–2012)