"F. J. De Bruijn"