@phdthesis {PHD-202311-Sullivan,
   type = {Dissertation Defense},
   author = {Zachary J. Sullivan},
   title = {Reflections of Closures},
   school = {College of Arts and Sciences, University of Oregon},
   month = 11,
   year = 2023,
   note = {Available at \url{https://www.cs.uoregon.edu/Reports/PHD-202311-Sullivan.pdf}},
}