The Nature of Computation - Moore, Christopher J.; Mertens, Stephan (Oxford University Press, 2012)