@techreport{su:tbd,
  title={{A Type-Based Dimensional Analysis for XQuery}},
  author={Zhendong Su and Gary Wassermann},
  month=apr,
  year={2004},
  number={CSE-2004-8},
  institution={University of California, Davis},
  note={URL: http://wwwcsif. cs. ucdavis. edu/wassermg/research/SizeTechRpt. ps}
}