Publications by authors named "John C Batten"