Publications by authors named "David Machin"