Myhill-Nerode relations on automatic systems and the completeness of Kleene algebra (2001)

by D Kozen
Venue:STACS, volume 2010 of Lecture Notes in Computer Science