Publications by authors named "H J van der Harten"