Complementary pair of quasi-antiorders. - Sinisa Crvenkovic; Melanija Mitrovic; Daniel Abraham Romano (Reports Math. Log., 2010)

Semigroups with apartness. - Sinisa Crvenkovic; Melanija Mitrovic; Daniel Abraham Romano (Math. Log. Q., 2013)

Theory of Constructive Semigroups with Apartness - Foundations, Development and Practice. - Melanija Mitrovic; Mahouton Norbert Hounkonnou; Marian Alexandru Baroni (Fundam. Informaticae, 2021)