Reference for “XQuery 1.0 and XPath 2.0 Formal Semantics (Second Edition)”

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