Coding methods in computability theory and complexity theory - Nies, André (1998)