The nature of computation - Moore, Cristopher (Oxford University Press, 2011)