Congruences in ordered semigroups
scientific article; zbMATH DE number 1758649