Title: Complexité et Décidabilité, Author: Patrick Dehornoy
Title: Théorie des ensembles, Author: N. Bourbaki