Vasco Brattka Hajime Ishihara Matthias Schröder Ning Zhong Computability and Complexity in Analysis. 800 2008 14 J. UCS 6 db/journals/jucs/jucs14.html#BrattkaISZ08