Romano, D. A. “An Introduction to Implicative Semigroups With Apartness”. Sarajevo Journal of Mathematics, vol. 12, no. 2, May 2024, pp. 155-6, doi:10.5644/SJM.12.2.03.