@other{https://resolver.caltech.edu/CaltechCSTR:2003.004,
    title = "Formalizing Abstract Algebra in Constructive Set Theory",
    year = "2003",
    url = "https://resolver.caltech.edu/CaltechCSTR:2003.004",
    id = "record",
    doi = "10.7907/Z94T6GB8"
}