DENIS MITCHELL (BRITISH 1912-1993)