Title: Computation, Proof, Machine: Mathematics Enters a New Age, Author: Gilles Dowek
Title: Digital Cultures, Author: Milad Doueihi