Necessary conditions for a semigroup to be an integral CRM-ring with identity. A. B. Engel — 1976 Semigroup forum