@incollection{Meyer_1975,
    doi = {10.1007/bfb0064872},
    url = {https://doi.org/10.1007%2Fbfb0064872},
    year = {1975},
    publisher = {Springer Berlin Heidelberg},
    pages = {132--154},
    author = {Albert R. Meyer},
    title = {Weak monadic second order theory of succesor is not elementary-recursive},
    booktitle = {Lecture Notes in Mathematics}
}

@incollection{Meyer_1975, doi = {10.1007/bfb0064872}, url = {https://doi.org/10.1007%2Fbfb0064872}, year = {1975}, publisher = {Springer Berlin Heidelberg}, pages = {132--154}, author = {Albert R. Meyer}, title = {Weak monadic second order theory of succesor is not elementary-recursive}, booktitle = {Lecture Notes in Mathematics} }