Publications by authors named "David J Machin"