@article{MAN_1962__148_160994,
     author = {J.R. B\"UCHI},
     title = {Turing-Machines and the {Entscheidungsproblem.}},
     journal = {Mathematische Annalen},
     pages = {201--213},
     publisher = {mathdoc},
     volume = {148},
     year = {1962},
     zbl = {0118.01602},
     url = {http://geodesic.mathdoc.fr/item/MAN_1962__148_160994/}
}