Publications by authors named "J G Cocke"