Machines logiques et problèmes de mots. I : les machines de Turing (T.M.)
Séminaire Bourbaki : années 1951/52 - 1952/53 - 1953/54, exposés 50-100, Séminaire Bourbaki, no. 2 (1954), Talk no. 55, p. 47-58
@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},
     author = {Collectif},
     series = {S\'eminaire Bourbaki},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {2},
     year = {1954},
     note = {talk:55},
     pages = {47-58},
     mrnumber = {1609211},
     language = {fr},
     url = {http://www.numdam.org/item/SB_1951-1954__2__47_0}
}
Tamari, Dov. Machines logiques et problèmes de mots. I : les machines de Turing (T.M.), in Séminaire Bourbaki : années 1951/52 - 1952/53 - 1953/54, exposés 50-100, Séminaire Bourbaki, no. 2 (1954), Talk no. 55, pp. 47-58. http://www.numdam.org/item/SB_1951-1954__2__47_0/

[1] Post (Emil). - Recursive unsolvability of a problem of Thue, J. symb. Logic, t. 12, 1947, p. 1-11. | MR 20527

[2] Turing (A.M.). - On computable numbers, with an application to the Entscheidungsproblem, Proc. London math. Soc., Series 2, t. 42, 1937, p. 230-265. | JFM 62.1059.03

[3] Turing (A.M.). - On computable numbers, with an application to the Entscheidungsproblem, A correction, Proc. London math. Soc., Series 2, t. 43, 1938, p. 544-546. | JFM 63.0823.02