Publications by authors named "David Batten"