Publications by authors named "W de Haan"