Kozen, D. Partial Automata and Finitely Generated Congruences: An Extension of Nerode’s Theorem. DPB 1992, 21.