Publications by authors named "D J. Batten"