1. Topologies on Closed and Closed Convex Sets;Beer,1993
2. Domain representability of metric spaces;Blanck;Ann. Pure Appl. Logic,1997
3. Elements of Mathematics, General Topology, Part 1;Bourbaki,1966
4. V. Brattka, Recursive and computable operations over topological structures, Informatik Berichte 255, FernUniversität Hagen, Fachbereich Informatik, Hagen, July 1999.
5. A stability theorem for recursive analysis;Brattka,1999