1. Asperti, A., Maietti, M. E., Sacerdoti Coen, C., Sambin, G., & Valentini, S. (2011). Formalization of formal topology by means of the interactive theorem prover Matita. In J. H. Davenport, W. M. Farmer, J. Urban, & F. Rabe (Eds.), Intelligent computer mathematics (Lecture notes in artificial intelligence, Vol. 6824, pp. 278–280). Berlin/Heidelberg: Springer.
2. Battilotti, G., & Sambin, G. (2006). Pretopologies and a uniform presentation of sup-lattices, quantales and frames. Annals of Pure and Applied Logic, 137, 30–61.
3. Bishop, E. (1967). Foundations of constructive analysis. Toronto: McGraw-Hill.
4. Ciraulo, F., & Sambin, G. (2010). The overlap algebra of regular opens. Journal of Pure and Applied Algebra, 214, 1988–1995.
5. Ciraulo, F., & Sambin, G. (2019). Reducibility, a constructive dual of spatiality. Journal of Logic and Analysis, 11, 1–26.