Publications by authors named "David de Bruijn"