C. McCullough-Benner, “Mathematical Truth without Reference”, PRB, pp. 70–77, Dec. 2014, doi: 10.15388/Problemos.2014.0.4926.