XQuery 1.0 and XPath 2.0 Formal Semantics
Edit
New
Add a description
of
XQuery 1.0 and XPath 2.0 Formal Semantics