Publications by 'Martin Stokhof'