Publications by authors named "Hans M C J de Bruijn"