Kozen, D. 1992. Partial Automata and Finitely Generated Congruences: An Extension of Nerode’s Theorem. DAIMI Report Series. 21, 400 (Jun. 1992). DOI:https://doi.org/10.7146/dpb.v21i400.6634.