Mariani, M. Martin Davis, <i>Il Calcolatore Universale. Da Leibniz a Turing< I> (Massimo Mariani). AO 2013, 16, 160.