Publications by authors named "J van Harten"