W. A. Kirk, “Brouwer’s Fixed Point Theorem”, CUBO, vol. 4, no. 1, pp. 174–191, May 2002.