XQuery 1.0 and XPath 2.0 Formal Semantics