Publications by authors named "G J Holland"