Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon: A Better Semantics for XQuery with Side-Effects. DBPL 2007: 81-96