Separatedness in constructive topology. Bridges, Douglas, Vîţă, Luminiţa (2003) Documenta Mathematica