Computability and noncomputability in classical analysis (1983)

by M B Pour-El and J I Richards
Venue:Transactions of the American Mathematical Society