@incollection{Gonthier_2011,
    doi = {10.1007/978-3-642-22863-6_10},
    url = {https://doi.org/10.1007%2F978-3-642-22863-6_10},
    year = {2011},
    publisher = {Springer Berlin Heidelberg},
    pages = {103--118},
    author = {Georges Gonthier},
    title = {Point-Free, Set-Free Concrete Linear Algebra},
    booktitle = {Interactive Theorem Proving}
}

@incollection{Gonthier_2011, doi = {10.1007/978-3-642-22863-6_10}, url = {https://doi.org/10.1007%2F978-3-642-22863-6_10}, year = {2011}, publisher = {Springer Berlin Heidelberg}, pages = {103--118}, author = {Georges Gonthier}, title = {Point-Free, Set-Free Concrete Linear Algebra}, booktitle = {Interactive Theorem Proving} }