On the representation of abstract semigroups by transformation semigroups : Computer investigations. K. Todorov; G. Bijev — 1991 Semigroup forum