@other{https://resolver.caltech.edu/CaltechETD:etd-05222007-211909,
    title = "Reflection and Its Application to Mechanized MetaReasoning About Programming Languages",
    year = "2007",
    url = "https://resolver.caltech.edu/CaltechETD:etd-05222007-211909",
    id = "record",
    doi = "10.7907/S0HG-RT72"
}