Axioms for unary semigroups via division operations - Araújo, João (2012)