Coding methods in computability theory and complexity theory - Nies, André (Heidelberg, Univ., Habil.-Schr., 1998, 1998)