Dexter Kozen. Myhill-Nerode Relations on Automatic Systems and the Completeness of Kleene Algebra. In Afonso Ferreira, Horst Reichel, editors, STACS 2001, 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001, Proceedings. Volume 2010 of Lecture Notes in Computer Science, pages 27-38, Springer, 2001. [doi]
Abstract is missing.