Charles Babbage (1791-1871) and the mechanization of calculus: from the gears to the thinking machine (Charles Babbage (1791-1871) e a mecanização do cálculo: das engrenagens à máquina de pensar). - Eli Banks Liberato da Costa (2012)