-
@article{BUCH60, author = {Büchi, J. Richard}, doi = {10.1002/malq.19600060105}, journal = {Mathematical Logic Quarterly}, number = {1--6}, sha256 = {72BF43692995B3032082DA64B7B4CFCE6125F28858EE2977A242A7183446531A}, title = {Weak second-order arithmetic and finite automata}, url = {https://onlinelibrary.wiley.com/doi/abs/10.1002/malq.19600060105}, volume = {6}, year = {1960} }