I.: “Computability in Analysis and (1989)

by M B Pour-El, J Richards