The work of Gioia de Bruijn