Publications by authors named "J R Batten"