Publications about the work of De Vries