Reading list: Computability