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