IBM Journal of Research and Development, Volume 3, Number 2, April 1959, including
Subtitle: Finite Automata and Their Decision Problems