Mandal, Manasi: Semigroups and ¿-Semigroups