Kirk, W. A. Brouwer’s Fixed Point Theorem. CUBO 2002, 4, 174–191.