Anthony Thompson (1920-2003)