Publications by 'Thomas Ledermann'