Barry Edmond Williams (1939-2015)