Computable Analysis: An Introduction (2000)

by K Weihrauch