Publications by authors named "N H K de Boer"