Co86 : D. Collins, A simple presentation of a group with unsolvable word problem, 1986, Illinois Journal of Mathematics
CR : J. Riou et X. Caruso, Groupes des Tresses d’Artin (mémoire de Magistère)
De08 : P. Dehornoy, Braids and Self-distributivity, 2008, Birkaüser
De09 : P. Dehornoy, Braids-based cryptography, disponible sur internet
De18 : P. Dehornoy, la Théorie des Ensembles, 2018, ed. Calvage et Mounet
De19 : P. Dehornoy, Le Calcul des Tresses, 2019, ed. Calvage et Mounet
De06 : P. Dehornoy, Le Calcul des Tresses, in Bulletin Vert n°465, 2006
Ta53 : A. Tarski, Undecidable Theories, 1953, North-Holland.