Nikolova, S. 2000. Definability via partial enumerations with semicomputable codomains. Ann. Sofia Univ. Fac. Math. and Inf. 92, (Dec. 2000), 49–63.