Publications by 'D. Ledermann'