The nature of computation - Moore, Cristopher, 1968-; Mertens, Stephan, 1962- (Oxford University Press, 2011)