Rodney G. Downey Michael Stob Splitting Theorems in Recursion Theory. 1-106 1993 65 Ann. Pure Appl. Logic 1 db/journals/apal/apal65.html#DowneyS93