1. Analysis in the computable number field;Aberth;J. Assoc. Comput. Mach.,1968
2. A chain of inclusion relations in computable analysis;Aberth;Proc. Amer. Math. Soc.,1969
3. Computable analysis and differential equations;Aberth,1970
4. The failure in computable analysis of a classical existence theorem for differential equations;Aberth;Proc. Amer. Math. Soc.,1971
5. Computable analysis;Aberth,1980