Publications by authors named "Diederik Wj Dippel"