Publications by 'Ernico N. G. van Halm'