@article{MAN_1978__237_182780,
     author = {Wolfgang Thomas},
     title = {The {Theory} of {Successor} with an {Extra} {Predicate.}},
     journal = {Mathematische Annalen},
     pages = {121--132},
     publisher = {mathdoc},
     volume = {237},
     year = {1978},
     zbl = {0369.02025},
     url = {http://geodesic.mathdoc.fr/item/MAN_1978__237_182780/}
}