Начало см. здесь.

Кон П.
Универсальная алгебра.

М.: Мир, 1968, cc. 5 — 7.

Изложение материала по универсальной алгебре у Г. Биркгофа можно посмотреть здесь.

Раздел о полугруппах см. здесь.

По поводу упомянутых здесь "Лекций по общей алгебре" А. Г. Куроша см. здесь.