1. A tutorial on computable analysis;Brattka,2008
2. Connected choice and the Brouwer fixed point theorem;Brattka;J. Math. Log.,2019
3. Computability and representations of the zero set;Collins,2008
4. Π01 Classes in Computable Analysis and Topology;Miller,2002
5. Universal Envelopes of Discontinuous Functions;Neumann,2019