Theories of computability - Pippenger, Nicholas (University Press, 1997)