Publications by authors named "Haike M J van der Velden"