D. Kozen, “Partial Automata and Finitely Generated Congruences: An Extension of Nerode’s Theorem”, DPB, vol. 21, no. 400, Jun. 1992.