@incollection{Cruz_Filipe_2003,
    doi = {10.1007/10930755_14},
    url = {https://doi.org/10.1007%2F10930755_14},
    year = {2003},
    publisher = {Springer Berlin Heidelberg},
    pages = {205--220},
    author = {Lu{\'{\i}}s Cruz-Filipe and Bas Spitters},
    title = {Program Extraction from Large Proof Developments},
    booktitle = {Lecture Notes in Computer Science}
}

@incollection{Cruz_Filipe_2003, doi = {10.1007/10930755_14}, url = {https://doi.org/10.1007%2F10930755_14}, year = {2003}, publisher = {Springer Berlin Heidelberg}, pages = {205--220}, author = {Lu{\'{\i}}s Cruz-Filipe and Bas Spitters}, title = {Program Extraction from Large Proof Developments}, booktitle = {Lecture Notes in Computer Science} }