"Apartness spaces as a framework for constructive topology."

Douglas S. Bridges, Luminita Vîta (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics