Publications by authors named "John Barden"