Dennis Allen, Jr.
-
Unrecognizable Sets of Numbers
Journal of the ACM (JACM)
Finite automata and their decision problems
IBM Journal of Research and Development