Ce Dong James Bailey Static Analysis of XSLT Programs. 151-160 2004 conf/adc/2004 ADC http://crpit.com/confpapers/CRPITV27Dong.pdf db/conf/adc/adc2004.html#DongB04