XQuery 1.0 Formal Semantics (2001)

by P Fankhauser, M Fernandez, A Malhotra, M Rys, J Simeon, P Wadler