Publications by authors named "Michael Batten"