Romano, D. A. An Introduction to Implicative Semigroups With Apartness. sjm 2024, 12, 155-165.