@article{Richard_Buchi_1969,
    doi = {10.2307/2271090},
    url = {https://doi.org/10.2307%2F2271090},
    year = {1969},
    month = {jul},
    publisher = {Cambridge University Press ({CUP})},
    volume = {34},
    number = {2},
    pages = {166--170},
    author = {J. Richard Buchi and Lawrence H. Landweber},
    title = {Definability in the monadic second-order theory of
                                   successor},
    journal = {Journal of Symbolic Logic}
}

@article{Richard_Buchi_1969, doi = {10.2307/2271090}, url = {https://doi.org/10.2307%2F2271090}, year = {1969}, month = {jul}, publisher = {Cambridge University Press ({CUP})}, volume = {34}, number = {2}, pages = {166--170}, author = {J. Richard Buchi and Lawrence H. Landweber}, title = {Definability in the monadic second-order theory of successor}, journal = {Journal of Symbolic Logic} }