Text this: Theories of computability /