Download PDF - On the greatest congruence relation contained in an equivalence relation and its applications to the algebraic theory of machines