Mariani, Massimo. «Martin Davis, <i>Il Calcolatore Universale. Da Leibniz a Turing< I> (Massimo Mariani)». Alpha Omega, vol. 16, n. 1, giugno 2013, pag. 160, https://riviste.upra.org/index.php/ao/article/view/572.