Publications by 'A. D. M. Brun'