1 - Elementary computability, formal languages, and automataMcNaughton, RobertCote : [77 MCN 82]
2 - Les systèmes axiomatiques de la théorie des ensemblesWang, Hao (1921-....) / McNaughton, RobertCote : [08 WAN 53]