Publications by 'D. J. Leech'