PhD thesis in the history of science entitled 'Un modello algoritmico: l'Analytical Engine di Charles Babbage'