Publications by 'David J. C. Dennis'