Finite automata and their decision problems (1959)

by M O Rabin, D Scott
Venue:IBM Journal of Research and Development