R. Brown and T. Porter, “The Methodology of Mathematics”, CUBO, vol. 2, no. 1, pp. 83–98, May 2000.