On the greatest congruence relation contained in an equivalence relation and its applications to the algebraic theory of machines
Tom 29 / 1974
Colloquium Mathematicum 29 (1974), 31-43
DOI: 10.4064/cm-29-1-31-43