Finite automata and their decision problems (1959)

by M O Rabin, D Scott
Venue:IBM J. Res. Dev