@other{https://resolver.caltech.edu/CaltechTHESIS:07182011-144905895,
    title = "A Structured Design Method for Specialized Proof Procedures",
    year = "1975",
    url = "https://resolver.caltech.edu/CaltechTHESIS:07182011-144905895",
    id = "record",
    doi = "10.7907/nrh8-ka82"
}