Kozen, D. “Partial Automata and Finitely Generated Congruences: An Extension of Nerode’s Theorem”. DAIMI Report Series, vol. 21, no. 400, June 1992, doi:10.7146/dpb.v21i400.6634.