Publications by authors named "T G van Dinther"