Waaldijk, F (2005). On the foundations of constructive mathematics - Especially in Relation to the Theory of Continuous Functions. Foundations of Science 10(3), 249-324.
This work cites the following items of the Benford Online Bibliography:
Hill, TP (1995). A Statistical Derivation of the Significant-Digit Law. Statistical Science 10(4), pp. 354-363. ISSN/ISBN:0883-4237.