@phdthesis {PHD-200405-Xiao,
   type = {Dissertation Defense},
   author = {Yong Xiao},
   title = {From Syntactic Theories to Interpreters: Specifying and Proving Properties},
   school = {College of Arts and Sciences, University of Oregon},
   month = 5,
   year = 2004,
   note = {Available at \url{https://www.cs.uoregon.edu/Reports/PHD-200405-Xiao.pdf}},
}