de%20Bruijn%2CA.%20Y.