Turing Progressions and Their Well-Orders | Publicación