Barbara Claire King (1928-2014)