1. Totale Objekte und Mengen in der Bereichstheorie;Berger;PhD Thesis,1990
2. An inverse of the evaluation functional for typed λ-calculus;Berger;Proceedings of the Sixth Annual IEEE Symposium on Logic in Computer Science,1991
3. Algorithmic operators in constructive metric spaces, Trudy Mat. Inst. Steklov 67;Ceitin;English translation, Amer. Math. Soc. Transl.,1967
4. Theorie der Numerierungen I;Ersov;Z. Math. Logik,1973
5. Theorie der Numerierungen II;Ersov;Z. Math. Logik,1975