@other{https://resolver.caltech.edu/CaltechCSTR:1969.2275-tr-70,
    title = "Formal Methods in the Foundations of  Science",
    year = "1970",
    url = "https://resolver.caltech.edu/CaltechCSTR:1969.2275-tr-70",
    id = "record",
    doi = "10.7907/303jv-1h913"
}