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