Looking for identities on a bicyclic semigroup with computer assistance. F.G. Shleifer (1990) Semigroup forum