1. Selection theorems and invariance of Borel pointclasses
2. and Constructive Analysis (Springer-Verlag, Berlin 1985).
3. Computable invariance
4. Recursive and computable operations over topological structures. Informatik Berichte 255, FernUniversität Hagen, Fachbereich Informatik, Hagen, July 1999.
5. Computability of Banach space principles. Informatik Berichte 286, FernUniversität Hagen, Fachbereich Informatik, Hagen, June 2001.