1. Principes de Combinatoire;Berge,1968
2. PROLOG Programming for Artificial Intelligence;Bratko,1986
3. Computing the ideal structure of finite semigroups;Cannon;Numer. Math.,1971
4. A computational toolkit for finite permutation groups;Cannon,1984
5. The Algebraic Theory of Semigroups;Clifford;Amer. Math. Soc. Surveys,1961