Christophe Dehlinger, Jean-François Dufourd. Formal specification and proofs for the topology and classification of combinatorial surfaces. Comput. Geom., 47(9):869-890, 2014. [doi]
@article{DehlingerD14,
title = {Formal specification and proofs for the topology and classification of combinatorial surfaces},
author = {Christophe Dehlinger and Jean-François Dufourd},
year = {2014},
doi = {10.1016/j.comgeo.2014.04.007},
url = {http://dx.doi.org/10.1016/j.comgeo.2014.04.007},
researchr = {https://researchr.org/publication/DehlingerD14},
cites = {0},
citedby = {0},
journal = {Comput. Geom.},
volume = {47},
number = {9},
pages = {869-890},
}