Publications by authors named "M H S de Jong"