@incollection{SB_1951-1954__2__47_0,
     author = {Tamari, Dov},
     title = {Machines logiques et probl\`emes de mots. {I} : les machines de {Turing} {(T.M.)}},
     booktitle = {S\'eminaire Bourbaki : ann\'ees 1951/52 - 1952/53 - 1953/54, expos\'es 50-100},
     series = {S\'eminaire Bourbaki},
     note = {talk:55},
     pages = {47--58},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {2},
     year = {1954},
     mrnumber = {1609211},
     language = {fr},
     url = {http://www.numdam.org/item/SB_1951-1954__2__47_0/}
}