@phdthesis{Ko-thesis,
  title = "Analysis and synthesis of inductive families",
  author = "Hsiang-Shang Ko",
  year = "2014",
  school = "University of Oxford",
  url = "https://github.com/josh-hs-ko/dissertation/raw/master/dissertation.pdf",
}