Computable analysis: an introduction (2000)

by K Weihrauch