1. Computational Topology: An Introduction;Edelsbrunner,2010
2. Computingall maps into a sphere;Čadek;J. ACM,2014
3. The computability problem in algebraic topology;Sergeraert;Adv. Math.,1994
4. X. Dousson, J. Rubio, F. Sergeraert, Y. Siret, TheKenzo Program, Institut Fourier, Grenoble, 1999. http://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/ (accessed 16.02.16).
5. Morse theory for filtrations and efficient computation of persistent homology;Mischaikow;Discrete Comput. Geom.,2013