1. Foundations of Constructive Analysis;Bishop,1967
2. Darstellungen und Berechenbarkeit reeller Zahlen;Deil,1983
3. On the definition of computable real continuous functions;Grzegorczyk;Fund. Math.,1957
4. Berechenbare reelle Funktionen;Hauck;Z. Math. Logik Grundl. Math.,1973
5. A topological analog to the Rice-Shapiro index theorem;Hay;Research Report,1982