Finite Automata and their Decision Problems (1959)

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