Publications by 'Ian J. Donaldson'