Publications by authors named "Gerben van der Vries"