Publications by authors named "Dick J H Van den Boomen"