Publications by authors named "Hein de Vries"