Publications by authors named "P J de Pagter"