On the foundations of computing - Primiero, Giuseppe, (Oxford University Press, 2019)