The finite basis question for semigroups of order less than six. A.N. Trahtman — 1983 Semigroup forum