Tanaka. A Proof of Constructive Version of Brouwer's Fixed Point Theorem with Uniform Sequential Continuity. Hindawi Limited, 2011, doi:10.5402/2011/276040.