@article{Barendregt_2005,
    doi = {10.1098/rsta.2005.1650},
    url = {https://doi.org/10.1098%2Frsta.2005.1650},
    year = {2005},
    month = {sep},
    publisher = {The Royal Society},
    volume = {363},
    number = {1835},
    pages = {2351--2375},
    author = {Henk Barendregt and Freek Wiedijk},
    title = {The challenge of computer mathematics},
    journal = {Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences}
}

@article{Barendregt_2005, doi = {10.1098/rsta.2005.1650}, url = {https://doi.org/10.1098%2Frsta.2005.1650}, year = {2005}, month = {sep}, publisher = {The Royal Society}, volume = {363}, number = {1835}, pages = {2351--2375}, author = {Henk Barendregt and Freek Wiedijk}, title = {The challenge of computer mathematics}, journal = {Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences} }