D. A. Romano, “An Introduction to Implicative Semigroups With Apartness”, sjm, vol. 12, no. 2, pp. 155–165, May 2024.