David Gordon (1940-2012)