The Kleene hierarchy classi of recursively random sequences (1966)

by D W Loveland
Venue:Transactions of the American Mathematical Society