"Effective Choice Functions and Index Sets."

James C. Owings (1986)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics