Theories of computability - Pippenger, Nicholas (Cambridge, 1997)