History and Philosophy of Computing - Fabio Gadducci, Mirko Tavosanis (Springer, 2016)