@misc{Barendregt_2007,
    doi = {10.1002/9780470050118.ecse579},
    url = {https://doi.org/10.1002%2F9780470050118.ecse579},
    year = {2007},
    month = {dec},
    publisher = {Wiley},
    author = {Henk Barendregt},
    title = {Proofs of Correctness in Mathematics and Industry}
}

@misc{Barendregt_2007, doi = {10.1002/9780470050118.ecse579}, url = {https://doi.org/10.1002%2F9780470050118.ecse579}, year = {2007}, month = {dec}, publisher = {Wiley}, author = {Henk Barendregt}, title = {Proofs of Correctness in Mathematics and Industry} }