Brown, R.; Porter, T. The Methodology of Mathematics. CUBO 2000, 2, 83–98.