al.: XQuery 1.0 and XPath 2.0 Formal Semantics. W3C Specification (0)

by D Draper, et