BibTeX Reference for “XQuery 1.0 and XPath 2.0 Formal Semantics”

@TechReport{Wadler:07:XXF,
  author      = "Philip Wadler and Michael Rys and Peter Fankhauser and Kristoffer Rose and Ashok Malhotra and Denise Draper and Mary Fernandez and Jerome Simeon",
  title       = "{XQuery} 1.0 and {XPath} 2.0 Formal Semantics",
  month       = jan,
  note        = "https://www.w3.org/TR/2007/REC-xquery-semantics-20070123/",
  year        = "2007",
  bibsource   = "https://w2.syronex.com/jmr/w3c-biblio",
  type        = "{W3C} Recommendation",
  institution = "W3C",
}