Michael Benedikt James Cheney Semantics, Types and Effects for XML Updates. 1-17 2009 DBPL http://dx.doi.org/10.1007/978-3-642-03793-1_1 conf/dbpl/2009 db/conf/dbpl/dbpl2009.html#BenediktC09