Juichi Shinoda Theodore A. Slaman Recursive in A Generic Real. 164-172 2000 65 J. Symb. Log. 1 db/journals/jsyml/jsyml65.html#ShinodaS00