1. Specker, E.: Der satz vom maximum in der rekursiven analysis. In: Heyting, A. (ed.) Constructivity in Mathematics, pp. 254–265. North Holland Publ. Comp., Amsterdam (1959)
2. Miller, J.S.: Effectiveness for embedded spheres and balls. Electr. Notes Theorit. Comput. Sci. 66, 127–138 (2002)
3. Iljazović, Z.: Co-c.e. spheres and cells in computable metric spaces. Log. Methods Comput. Sci. 7(3:05), 1–21 (2011)
4. Iljazović, Z.: Compact manifolds with computable boundaries. Log. Methods Comput. Sci. 9(4:19), 1–22 (2013)
5. Iljazović, Z., Sušić, I.: Semicomputable manifolds in computable topological spaces. J. Complex. 45, 83–114 (2018)