The Nature of Computation - Moore, Mertens (Oxford University PressOxford University Press, 2013)