Colin Bailey Rodney G. Downey Tabular Degrees in alpha-Recursion Theory. 205-236 1992 55 Ann. Pure Appl. Logic 3 db/journals/apal/apal55.html#BaileyD92