Kozen, Dexter. “Partial Automata and Finitely Generated Congruences: An Extension of Nerode’s Theorem”. DAIMI Report Series 21, no. 400 (June 1, 1992). Accessed May 8, 2024. https://tidsskrift.dk/daimipb/article/view/6634.