History and Philosophy of Computing - Gadducci (Springer International Publishing, 2016)