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