Reference for “XQuery 1.0 and XPath 2.0 Formal Semantics”

@TechReport{Wadler:07:XXF,
  author      = "Philip Wadler and Peter Fankhauser and Kristoffer Rose and Michael Rys and J\'{e}r\^{o}me Sim\'{e}on and Mary Fern\'{a}ndez and Ashok Malhotra and Denise Draper",
  title       = "{XQuery} 1.0 and {XPath} 2.0 Formal Semantics",
  month       = jan,
  note        = "http://www.w3.org/TR/2007/REC-xquery-semantics-20070123/",
  year        = "2007",
  bibsource   = "http://w2.syronex.com/jmr/w3c-biblio",
  type        = "{W3C} Recommendation",
  institution = "W3C",
}