Publications by 'Frank P. J. van der Hulst'