William Greig Barr (1917–2008)