B
[Buc60] Julius R. Büchi. Weak second-order arithmetic and finite automata. Mathematical Logic Quarterly 6(1-6):66-92. 1960. 
@article{mlq6(1-6)-Buc,
  author =              {B{\"u}chi, Julius R.},
  title =               {Weak second-order arithmetic and finite automata},
  journal =             {Mathematical Logic Quarterly},
  volume =              {6},
  number =              {1-6},
  pages =               {66-92},
  year =                {1960},
  doi =                 {10.1002/malq.19600060105},
}
List of authors