Congruences in commutative semigroups - Hirshfeld, Yoram (Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series, 1994)