@article{DOCMA_2003__8__a2, author = {Bridges, Douglas and V{\^\i}\c{t}\u{a}, Lumini\c{t}a}, title = {Separatedness in constructive topology}, journal = {Documenta mathematica}, pages = {567--576}, publisher = {mathdoc}, volume = {8}, year = {2003}, language = {en}, url = {http://geodesic.mathdoc.fr/item/DOCMA_2003__8__a2/} }