, 1987, Search computability and computability with numberings are equivalent in the case of finite set of objects, in D. G. Skordev (ed.), Mathematical logic and its applications, Dordrecht, Springer, pp. 233-242.