Computability in Analysis and (1988)

by M B Pour-ElandJ I Richards