Christoph Reichenbach Michael G. Burke Igor Peshansky Mukund Raghavachari Analysis of imperative XML programs. 624-642 2009 34 Inf. Syst. 7 http://dx.doi.org/10.1016/j.is.2009.03.013 db/journals/is/is34.html#ReichenbachBPR09