Carroll, John

1951

• Theory of finite automata
• Theory of finite automata with an introduction to formal languages