"J. D. de Bruijn"