Publications by authors named "D R de Vries"