1. Topologies on Closed and Closed Convex Sets;Beer,1993
2. Constructive Analysis;Bishop,1985
3. Effective domain representations of H(X), the space of compact subsets;Blanck;Theoret. Comput. Sci.,1999
4. Computable invariance;Brattka;Theoret. Comput. Sci.,1999
5. V. Brattka, Recursive and computable operations over topological structures, Informatik Berichte 255, FernUniversität Hagen, Fachbereich Informatik, Hagen, July 1999.