Weak second-order arithmetic and finite automata (1960)

by J R Büchi
Venue:Z. Math. Logik Grundlag. Math