Benton, R. Obituary: David Simmons, MBE (1930-2015). JPS 2016, 125, 339-340.