Theories of computability / Nicholas Pippenger. - Pippenger, Nicholas (Cambridge University Press, 2010)