Publications by authors named "J H J Bor"