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