Publications by 'Willem G. van Panhuis'