L. Boxer and P. C. Staecker, “Remarks on fixed point assertions in digital topology”, Appl. Gen. Topol., vol. 20, no. 1, pp. 135–153, Apr. 2019.