Publications by authors named "David G M Mitchell"