@other{https://resolver.caltech.edu/CaltechTHESIS:08252015-104226727,
    title = "Formal Methods in the Foundations of  Science",
    url = "https://resolver.caltech.edu/CaltechTHESIS:08252015-104226727",
    id = "record",
    doi = "10.7907/KB5H-4F11"
}