William West Anderson (1928-2017)