W3C publishes the formal semantics

W3C publishes the formal semantics for XQuery 1.0. Haven’t read it yet.