1. Alexander, C. (2002). The nature of order: An essay on the art of building and the nature of the universe. Book I The Phenomenon of Life. The Center for Environmental Structure, Berkeley.
2. Aryal, D., Bayer, J., Ciurezu, B., David, M., Deng, Y., Devkota, P., Dubischar, S., Hassler, M. S., Liu, Y., Oprea, M. A., Pal, A., & Stock, B. (2018). Hilbert Meets Isabelle. Formalization of the DPRM Theorem in Isabelle/HOL. https://doi.org/10.29007/3q4s
3. Borel, A. (1998). Twenty-five years with Nicolas Bourbaki, 1949–1973. Notices of AMS, 45, 373–380.
4. Bourbaki, N. (1968). Elements of mathematics. Theory of sets. London: Addison-Wesley.
5. Cartier, P. (1998). The continuing silence of Bourbaki. The Mathematical Intelligencer, 1, 22–28.