XQuery 1.0 and Xpath 2.0 formal semantics (2004)