Nikolova, S. Definability via Partial Enumerations With Semicomputable Codomains. Ann. Sofia Univ. Fac. Math. and Inf. 2000, 92, 49-63.