References
Angel V. Ditchev
Search computability and computability with numberings are equivalent in the case of finite set of objects
1987
in: Mathematical logic and its applications, Dordrecht : Springer
1987
in: Mathematical logic and its applications, Dordrecht : Springer