Publications by authors named "B Ledermann"