Nicole Bidoit Dario Colazzo Capturing well typed references in DTDs. 2006 conf/bda/2006 BDA db/conf/bda/bda2006.html#BidoitC06